About me
I am an Associate Professor (Reader) in the School of Mathematical and Computer Sciences at Heriot-Watt University, Edinburgh. I am a member of the dependable systems group. This is my personal homepage. My business page is here and my Pure profile is here.
Research
My research interests cover programming languages, parallel computation, foundations of programming, and symbolic computation. My focus area is the implementation of parallel functional languages. For more detail, see my page on research interests and vision or my biography.
Most of my publications are available on-line. My bibliographic data is also on Google Scholar and on DBLP. You can find my record on ORCID here.
Activities
SICSA MultiCore Challenge
I have been 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.
Heriot-Watt University has hosted the 2nd International Summer School on Advances in Programming Languages, 19th-22nd August, 2014.
Upcoming Events
Consider submitting to one of these upcoming events (see also these past events):
- 26th International Symposium on Trends in Functional Programming (TFP 2025), Oxford, UK, 14th-16th Jan 2025.
- 1st International Workshop on Low Carbon Computing (LOCO24), Glasgow, Scotland, 3 December 2024.
Teaching
List of my current MSc and BSc Honours Projects. See also this the CS Project System for a complete list of all projects
Information for MEng Software Engineering Students.
Courses:
-
Linux Introduction
- F21SC: Industrial Programming (Canvas)
- F28HS: Hardware-Software Interface (Canvas)
- F21DP: Parallel and Distributed Technology (also on Vision)
- F21CN: Computer Network Security (also on Vision)
- F28DA: Data Structures and Algorithms (also on 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: Wed 4:00-5:00pm.
My on-campus presence days this term are Monday to Wednesday.
Contact
My Office Address:
School of Mathematical and Computer Sciences, Heriot-Watt University, Riccarton, Edinburgh EH14 4AS Scotland, U.K. Room: G51 Tel.: +44 131 451 3421 ☎ Fax: +44 131 451 3327 Skype: hwloidl URL: http://www.macs.hw.ac.uk/~hwloidl Primary Email: h . w . loidl | at | hw PUNKT ac PUNKT uk Secondary Email: h . w . loidl . hwu | at | gmail PUNKT com Heriot-Watt Riccarton Campus Map or HWU map with directions.
Disclaimer
Everything in this section falls outside the responsibility of Heriot-Watt University.
Supporter of
|
|
|