AG Programmiersprachen und Übersetzerkonstruktion

Team

Professoren

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
 
Ich beschäftige mich momentan mit
 
  • 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
 
Publikationen
Verifying Effectful Haskell Programs in Coq (Vorabversion)(Haskell Symposium '19, Akzeptanzrate 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 (Vorabversion) (PADL'18, Akzeptanzrate 13/23, Best Student Paper)
All Sorts of Permutations (Vorabversion) (ICFP'16, Akzeptanzrate 37/115) 

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

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

Homepage Github  

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

Gastwissenschaftler