Christian Maeder

Address Universität Bremen, FB 3, Bibliothekstraße 1, D-28359 Bremen Office MZH 3130 Phone +49 (421) 218-59835 Email Christian.Maeder(_at_)dfki.de

I am researcher at DFKI working on Hets, a tool implemented using the functional language Haskell.

During winter term I teach functional programming using Haskell.

My PhD thesis (in German only) About the Context Analysis of an Algebraic Programming Language deals with the (less known) functional language Opal.

Research interests

• functional-algebraic programming and specification languages like HasCASL
• parsing and parser combinators, mixfix analysis
• static analysis, type systems and type inference
• refactoring, program synthesis, test generation
• theorem provers together with compilers to create efficiently executable and correct code from pure proven functions
• tools or frameworks for software development, modelling and validation