Aktuelle und letzte Aktivitäten

• Entwicklung und Erweiterung des Curry-Compilers KiCS2 (u.a. Erweiterung um Typ- und Typkonstruktorklassen)
• Implementierung einer Bibliothek für probabilistische Programmierung in Curry
• Zahlendarstellung in Curry

Interessen

• Compilerbau und -optimierungen
• Typsysteme
• Anwendung funktionallogischer Programmierkonzepte

Lehre

• Übung zu "Programmiertechniken" (SoSe '17)
• Praktikum zur "Fortgeschrittenen Programmierung" (WiSe '16)