AG Programmiersprachen und Übersetzerkonstruktion

Team

Professoren

Sekretariat

Ulrike Pollakowski

Sekretariat

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

Wissenschaftliche Mitarbeiter/Doktoranden

M.Sc. Sandra Dylus

wissenschaftliche Mitarbeiterin/Doktorandin

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

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
All Sorts of Permutations (Vorabversion) (ICFP'16, Akzeptanzrate 37/115) 

Assoziierte wissenschaftliche Mitarbeiter

Techniker

Gastwissenschaftler