Christian Maeder

Adresse Universität Bremen, FB 3, Enrique-Schmidt-Str. 5, D-28359 Bremen Büro Cartesium 2.053 Telefon +49 (421) 218-64227 E-Mail Christian.Maeder(_at_)dfki.de

Ich bin Senior Researcher am DFKI Bremen im FormalSafe Project und arbeite an Hets, ein Werkzeug implementiert mit der funktionalen Sprache Haskell.

Im Wintersemester lehre ich funktionale Programmierung (PI3) als Tutor.

Meine Doktorarbeit Zur Kontextanalyse einer algebraischen Programmiersprache befasst sich mit der (weniger bekannten) funktionalen Sprache Opal.