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 "Deklarative Programmierungsprachen" (SS 19)
• Praktikum zu "Fortgeschrittene Programmierung" (WS 18/19)
• Übung zu "Fortgeschrittene Programmierung" (WS 18/19)
• Übung zu "Prinzipien von Programmiersprachen" (WS 18/19)
• Tutorium zu "Advanced Programming" (SS 18)
• Übung zu "Programmiertechniken" (SS 18)
• Praktikum zu "Fortgeschrittene Programmierung" (WS 17/18)
• Übung zu "Fortgeschrittene Programmierung" (WS 17/18)
• Übung zu "Programmiertechniken" (SS 17)
• Praktikum zu "Fortgeschrittene Programmierung" (WS 16/17)

Publikationen

• One Monad To Prove Them All  (arXiv) (<Programming> 2019)
• Synthesizing Set Functions (arXiv) (WFLP 2018)
• Probabilistic Functional Logic Programming (Vorabversion) (PADL 2018)