If no university is named, the course was given at
Saarland University.
The ordering is by most recent first.
The links given by the names of the courses point to German web pages.
| Summer 99: | Semantics of programming languages |
| Spring 99: | Compact Course: Compiler construction [Free University of Berlin] |
| Winter 98/99: | Introduction to computer science IV (second part: Stochastics) |
| Summer 98: | Semantics of programming languages |
| Winter 97/98: | Introduction to computer science for students from all departments II |
| Summer 97: | Introduction to computer science for students from all departments I |
| Winter 96/97: | Introduction to programming languages [University of Trier] |
| Winter 96/97: | Automata theory and formal languages [University of Trier] |
| Summer 96: | Functional programming |
| Summer 95: | Document processing |
| Winter 94/95: | Compiler construction [Free University of Berlin] |
| Summer 94: | Document processing |
| Summer 94: | Compiler construction II (non-imperative languages) |
| Winter 93/94: | Compiler construction I |
| Summer 92: | Data bases |
| Winter 91/92: | Semantics of non-deterministic programming languages |
| Summer 91: | Foundations of semantics of programming languages |
Reinhold Heckmann / heckmann@absint.com