Christian Maeder

Address Universität Bremen, FB 3, Enrique-Schmidt-Str. 5, D-28359 Bremen Office Cartesium 2.053 Phone +49 (421) 218-64227 Email Christian.Maeder(_at_)dfki.de

I am senior researcher at DFKI Bremen working in the FormalSafe Project on Hets, a tool implemented using the functional language Haskell.

During winter term I teach functional programming as tutor.

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