Vorlesungen

Compilerbau

Deklarative Programmierung

Funktionale Programmierung

Model Checking

Logikprogrammierung

Programmanalyse

Programmiersprachen

Grundlagen der Theoretischen Informatik

Implementierung objektorientierter Sprachen

Modellierung verteilter Systeme

Programmierung verteilter Systeme

Prinzipien von Programmiersprachen

Automatentheorie und Formale Sprachen

Programmierung (Java)

Semantik und Verifikation verteilter Systeme

Semantik von Programmiersprachen