M.Sc. Finn Teegen
Research Assistant/PhD Student
Christian-Albrechts-Platz 4, R.701
Phone:
+49 431 880-7262
fte@informatik.uni-kiel.de
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)