AG Programmiersprachen und Übersetzerkonstruktion

M.Sc. Finn Teegen

Wissenschaftlicher Mitarbeiter/Doktorand

Christian-Albrechts-Platz 4, R.701
Telefon: +49 431 880-7262
Telefax: +49 431 880-7613
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 "Programmiertechniken" (SoSe '17)
  • Praktikum zur "Fortgeschrittenen Programmierung" (WiSe '16)