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)