Hans-Wolfgang Loidl's Home Page

Places: [MACS@HW], [Heriot-Watt], [StAnd], [TCS@LMU], [LMU], [CIP], [EdiUni], [DCS@Gla], [RISC@Linz]
Projects: [CALCIUM], [SCIENCE], [HPC-GAP], [APART], [MRG], [EmBounded],
Activities: [TFP], [SICSA-CSE], [SICSA MultiCore Challenge], [SPARC-M], [MMnet'13]
Research: [GHC], [Haskell], [GpH], [GdH], [Hume], [PCC], [GranSim], [Publications],
Software: [Prging Lang], [Cool Tools], [Emacs], [Elisp] [E-Publishing], [Parallel Computing]
Misc: [People] , [Institutes], [Conferences], [Computer Algebra], [Ref], [Linux], [Docu], [GIS]
Info: [Search tools], [News], [Boardgames], [HYW], [Articles], [Fun], [Star Trek] [Babylon 5]

About me

I am a lecturer at the School of Mathematical and Computer Sciences at Heriot-Watt University, Edinburgh. I am a member of the dependable systems group.

My research interests and vision.

My biography.

Most of my publications are available on-line.

Activities

SICSA MultiCore Challenge

I am coordinating the SICSA MultiCore Challenge an effort in comparing different languages/systems for parallel computation on (networks of) multi-cores, by implementing several benchmarks applications.

Upcoming Events

• MMnet'13: MMnet'13: Language and Runtime Support for Concurrent Systems
• TFP13: The 14th Symposium on Trends in Functional Programming, Brigham Young University, Utah, May 14-16 2013.
• SBLP'13: 17th Brazilian Symposium on Programming Languages Brasilia, Distrito Federal, Brazil September 29th to October 4th, 2013
• Haskell Symposium 2013, Boston, MA, USA, 23-24 September 2013, directly before ICFP
• FOPARA'13: Third International Workshop on Foundational and Practical Aspects of Resource Analysis, August 29th to 31st, 2013, CEUB, Bertinoro, Italy

Past events.

Teaching

List of current MSc Projects.

New Vision.

Courses (see this page on courses at Heriot-Watt):

• F28DA1: Data Structures and Algorithms (also on Vision)
• F21CN1: Computer Network Security (also on Vision)
• F21DP2: Parallel and Distributed Technology (also on Vision)
• F21SC1: Systems Programming and Scripting (Vision)
• Advanced Functional Programming, SS 2009
• Seminar: Program Analysis, SS 2009
• Proof-carrying-code (including an extended reading-list), part of a course on Formal Methods in Software Development
• Compilerbau, WS 2007/08
• Seminar Programmiersprachentheorie, SS 2007
• Compilerbau, WS 2005/06
• Functional Languages, part of a course on Programming Languages

Office Hours

Unless arranged otherwise, I can be contacted in my office, Thursdays 2:15-3:15pm.

Links

I have collected lists of people and institutes working in research areas I am interested in: functional programming, parallel computation, symbolic computation.

In a separate page I keep a rather random collection of programming languages. This covers mainly, but not exclusively, declarative languages.

Hacking

Occasionally I do a wee bit of Elisp hacking. You can find the packages I am working on in my Elisp archive.

Digital Resources

My public GPG key.

My geek code.

Heriot-Watt Riccarton Campus Map

Contact

My Office Address: School of Mathematical and Computer Sciences, Heriot-Watt University, Riccarton, Edinburgh EH14 4AS Scotland, U.K. Room: G48 Tel.: +44 131 451 3421 Fax: +44 131 451 3327 Skype: hwloidl URL: http://www.macs.hw.ac.uk/~hwloidl Email: h w l o i d l | at | macs PUNKT hw PUNKT ac PNKT uk

Hans-Wolfgang Loidl Last modified: Tue Apr 16 17:09:40 2013