CURRICULUM VITAE

born 08.03.1961
married, two children

Academic Degrees:

• Habilitation and venia legendi in Mathematics, RWTH Aachen 1996
• PhD, Dr.rer.nat., University of Freiburg 1990,
  thesis in Mathematical Logic, adviser: H.-D. Ebbinghaus
• Physics Degree, Diplom Physik, University of Freiburg 1987
  thesis in mathematical physics, supervisor: H. Römer
• State Degrees, Staatsexamen Mathematik, Physik, University of Freiburg 1987

Previous Positions and Affiliations:

• Lecturer and Reader in Theoretical Computer Science, University of Wales Swansea, 1999-2003
• Research Associate at UC Santa Cruz and Visiting Scholar at Stanford University, 1997/1998, supported by DFG research grant
• Assistant positions at Mathematische Grundlagen der Informatik RWTH Aachen, 1993-1997 and 1998/99
• Assistant position at Institut für Mathematische Logik, University of Freiburg, 1991-93
• Assistant position at Mathematisches Forschungsinstitut Oberwolfach, 1989/90
• Assistant position at Mathematics Department, University of Freiburg, 1987/89

University Education:

• Mathematics and Physics, University of Freiburg 1980-1987
• Part III of the Mathematical Tripos, Cambridge 1983/84

Research Interests:

• Mathematical Logic, Model Theory, Complexity Theory
• Mathematical Foundations of Computer Science
• Logic in Computer Science
• Algorithmic Model Theory
• Finite Model Theory