Programming Languages and Compiler Construction Group

Team

Professors

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. Sandra Dylus

Research Assistant/PhD Student

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

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

Github LinkedIn GPG-Key theses topics

I like 

  • declarative programming languages like Haskell and Curry
  • type-safe client-side programming with PureScript
  • working with the proof assistant Coq
 
I am currently
 
  • trying to formalise properties of functional (logic) programs with Coq
  • investigating similarities between functional logic and probabilistic programming languages
  • writing simple (and pretty) programs to solve puzzles with Curry
 
 
Publications
Verifying Effectful Haskell Programs in Coq (preprint)(Haskell Symposium '19, acceptance ratio 13/25)
Implementing a Library for Probabilistic Programming using Non-strict Non-determinism (arXiv)(TPLP)
One Monad To Prove Them All (arXiv) (<Programming>'19)
Probabilistic Functional Logic Programming (preprint) (PADL'18, , acceptance ratio 13/23, Best Student Paper)
All Sorts of Permutations (preprint) (ICFP'16, acceptance ratio 37/115)

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)

M.Sc. Niels Bunkenburg

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

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

Homepage Github  

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