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)

Publikationen

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