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
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)