Current and recent projects

• development of the Curry compiler KiCS2 (e.g., extension for type and type constructor classes)
• implementation of a library for probabilistic programming in Curry
• representation of numbers in Curry

Interests

• compiler implementation and optimisation
• type systems
• application of functional logic programming concepts

Teaching

• exercise course for "Programmiertechniken" (Summer '17)
• (practical) lab for "Fortgeschritten Programmierung" (Winter '16)

Publications

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