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 Mitarbeiter des DFKI und arbeite an Hets, ein Werkzeug implementiert mit der funktionalen Sprache Haskell.

Im Wintersemester lehre ich funktionale Programmierung (PI3, Praktische Informatik im 3. Semester) am Beispiel von Haskell.

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

Forschungsinteressen

• funktional-algebraische Programmier- und Spezifikationssprachen
• Parsierung und Parserkombinatoren, Mixfixanalyse
• Typsysteme und Typinferenz
• Refaktorierung, Programmsynthese, Testgenerierung
• Integrierte Theorembeweiser und Übersetzer, um aus reinen bewiesenen Funktionen korrekten und effizient ausführbaren Code zu erzeugen
• Werkzeuge oder Rahmenwerke zur Softwareentwicklung, Modellierung und Validierung