Team
Prof. Dr. Michael Hanus
Inhaber der Professur
Christian-Albrechts-Platz 4, R.706
Telefon:
+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
Sekretariat
Ulrike Pollakowski
Sekretariat
Christian-Albrechts-Platz 4, R. 707 (CAP 4)
Telefon:
+49 431 880-7270
up@informatik.uni-kiel.de
Wissenschaftliche Mitarbeiter/Doktoranden
M.Sc. Sandra Dylus
Wissenschaftliche Mitarbeiterin/Doktorandin
Christian-Albrechts-Platz 4, R.701 (CAP 4)
Telefon:
+49 431 880-7262
EMail: sad (at) informatik.uni-kiel.de
Github LinkedIn GPG-Key Themen für Abschlussarbeiten
Ich mag
- deklarative Programmiersprachen wie Haskell and Curry
- typsichere clientseitige Programmierung mit PureScript
- den Beweisassistenten Coq
- der Formalisierung von Eigenschaften von funktionalen (logischen) Programmen mit Hilfe von Coq
- Ähnlichkeiten von funktional logischen und probabilistischen Programmiersprachen
- einfachen (und schönen) Programmen zum Lösen von rätselartigen Problemen in Curry
M.Sc. Finn Teegen
Wissenschaftlicher Mitarbeiter/Doktorand
Christian-Albrechts-Platz 4, R.701
Telefon:
+49 431 880-7262
fte@informatik.uni-kiel.de
Aktuelle und letzte Aktivitäten
- Entwicklung und Erweiterung des Curry-Compilers KiCS2 (u.a. Erweiterung um Typ- und Typkonstruktorklassen)
- Implementierung einer Bibliothek für probabilistische Programmierung in Curry
- Zahlendarstellung in Curry
Interessen
- Compilerbau und -optimierungen
- Typsysteme
- Anwendung funktionallogischer Programmierkonzepte
Lehre
- Übung zu "Deklarative Programmierungsprachen" (SS 19)
- Praktikum zu "Fortgeschrittene Programmierung" (WS 18/19)
- Übung zu "Fortgeschrittene Programmierung" (WS 18/19)
- Übung zu "Prinzipien von Programmiersprachen" (WS 18/19)
- Tutorium zu "Advanced Programming" (SS 18)
- Übung zu "Programmiertechniken" (SS 18)
- Praktikum zu "Fortgeschrittene Programmierung" (WS 17/18)
- Übung zu "Fortgeschrittene Programmierung" (WS 17/18)
- Übung zu "Programmiertechniken" (SS 17)
- Praktikum zu "Fortgeschrittene Programmierung" (WS 16/17)
Publikationen
- 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
wiss. Mitarbeiter
Christian-Albrechts-Platz 4, R.705 (CAP 4)
Telefon:
+49 431 880-7267
Assoziierte wissenschaftliche Mitarbeiter
Priv.-Doz. Dr. Frank Huch
Assoziierte wissenschaftliche Mitarbeiter
Christian-Albrechts-Platz 4, R.704
Telefon:
+49 431 880-7277
fhu@informatik.uni-kiel.de
Techniker
Henrik Schmidt
Techniker
Christian-Albrechts-Platz 4, R.710 (CAP 4)
Telefon:
+49 431 880 7265
hbs@informatik.uni-kiel.de
Gastwissenschaftler
Sebastian Fischer
Gastwissenschaftler
7. OG
Frühere Mitarbeiterinnen und Mitarbeiter unsers Teams
Barbara Bennemann
Dr. Bernd Braßel
Dr. Wolfgang Goerigk
Dipl.-Inf. Klaus Höppner
Dipl.-Inf. Parissa Sadeghi
Dr. Friedemann Simon
Dipl.-Inf. Fabian Skrlac
Dipl.-Inf. Frank Steiner