Programming Languages and Compiler Construction Group

Team

Professors

Prof. Dr. Michael Hanus

Christian-Albrechts-Platz 4, R.706
Phone: +49 431 880-7271
mh@informatik.uni-kiel.de

Secretary

Ulrike Pollakowski

Office

Christian-Albrechts-Platz 4, R. 707 (CAP 4)
Phone: +49 431 880-7270
up@informatik.uni-kiel.de

Teaching Assistants/PhD Students

M.Sc. Niels Bunkenburg

Research Assistant/PhD Student

Christian-Albrechts-Platz 4, R.705 (CAP 4)
Phone: +49 431 880-7267

EMail: nbu (at) informatik.uni-kiel.de

Homepage Github  

M.Sc. Kai Prott

Research Assistant/PhD Student

Christian-Albrechts-Platz 4, R.702 (CAP 4)
Phone: +49 431 880-7263
kpr@informatik.uni-kiel.de

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)

Associated Researchers

Priv.-Doz. Dr. Frank Huch

Associated Researchers

Christian-Albrechts-Platz 4, R.704
Phone: +49 431 880-7277
fhu@informatik.uni-kiel.de

System Administrator

Guest Researcher