Team
Prof. Dr. Michael Hanus
Christian-Albrechts-Platz 4, R.706
Phone:
+49 431 880-7271
mh@informatik.uni-kiel.de
Prof. Dr. Dr. h.c. Hans Langmaack
Emeritus
Christian-Albrechts-Platz 4, R.1306
hl@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
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
Henrik Schmidt
System Administrator
Christian-Albrechts-Platz 4, R.710 (CAP 4)
Phone:
+49 431 880 7265
hbs@informatik.uni-kiel.de
Guest Researcher
Sebastian Fischer
7. OG
Former Staff
Barbara Bennemann
Dr. Bernd Braßel
Dr. Wolfgang Goerigk
Dipl.-Inf. Klaus Höppner
M.Sc. Marius Rasch
Dipl.-Inf. Parissa Sadeghi
Dr. Friedemann Simon
Dipl.-Inf. Fabian Skrlac
Dipl.-Inf. Frank Steiner