Programming Languages and Compiler Construction Group

M.Sc. Finn Teegen

Research Assistant/PhD Student

Christian-Albrechts-Platz 4, R.701
Phone: +49 431 880-7262
Telefax: +49 431 880-7613

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



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



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