Beruflicher Werdegang

seit Februar 2006:
W3-Professur, Universität Trier

Oktober 2003 – Januar 2006
W2-Professur, Katholische Universität Eichstätt

Dezember 1998 – September 2003
Wissenschaftlicher Assistant (C1), Universität des Saarlandes

Oktober 2000 – September 2001
Vertretungsprofessur, Gerhard-Mercator University

August 1996 – November 1998
Wissenschaftlicher Mitarbeiter (Postdoc), Saarland University

März 1991 – Juli 1992
Wissenschaftliche Hilfskraft, DFKI, Saarbrücken

März 1989 – Februar 1991
Software-Entwickler, Transmodul Software GmbH, Saarbrücken

Ausbildung

2003, Habilitation / Venia Legendi für Informatik, Universität des Saarlandes

1996, Promotion, Dr.rer.nat, Universität des Saarlandes
Titel der Dissertation: Semantics-Directed Generation of Compilers and Abstract Machines

1992 – 1993: M.Sc in Computer Science, Worcester Polytechnic Institute, MA,
Titel der Abschlussarbeit: Prolog and Typed Feature Structures: A Compiler for Parallel Computers

1992: Vordiplom in Informatik, Universität des Saarlandes