Degrees
Diploma in Computer Science,
University
of
Kaiserslautern
, June 1986.
PhD in Computer Science (Dr. rer. nat.),
University of Saarbrücken
, December 1995.
Thesis:
"A Resolution-Based Calculus for Temporal Logics".