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)