Prof. Dr. Hans Jürgen Ohlbach
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
, first in
and then in
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
Habilitation in Computer Science at the University of Saarbrücken, Germany.
1996-1998: senior research fellow at the
Department of Computing
1998 - 2000: senior lecturer at
, London; member of the
Group of Logic and Computation
since 1/4/2000: professor at the
Institute of Computer Science
Ludwig Maximilians Universität
Last Modified: Tuesday, 01-Oct-2002 12:40:20 CEST