Hans-Wolfgang Loidl's Courses

Basic Skills:

• Linux Introduction (.pdf)

This is a link-list to material on courses I have given at Glasgow, Munich, Linz, and 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 (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