Very Short CV

• Studies in Mathematics and Physics at the Johannes Gutenberg-Universität Mainz, Germany. Diploma in Nuclear Physics (Electron Scattering) at the Institut für Kernphysik, University of Mainz, Germany.
• Research in automated reasoning for predicate logic in the group of Jörg Siekmann, first in Karlsruhe and then in Kaiserslautern, Germany.
• PhD in Computer Science (A Resolution Calculus for Modal Logics) at the University in Kaiserslautern.
• Senior researcher at the Max-Planck Institut for Computer Science in Saarbrücken.
• Habilitation in Computer Science at the University of Saarbrücken, Germany.
• 1996-1998: senior research fellow at the Department of Computing of Imperial College, London.
• 1998 - 2000: senior lecturer at King's College, London; member of the Group of Logic and Computation.
• since 1/4/2000: professor at the Institute of Computer Science of the Ludwig Maximilians Universität in Munich.

Last Modified: Tuesday, 01-Oct-2002 12:40:20 CEST