Uwe Waldmann
Dr. Uwe Waldmann
Head of the research areas
Combinations of Deductive Systems
First-Order Model Checking
Max-Planck-Institut für Informatik
Campus E1 4
66123 Saarbrücken
+49 681 9325-2905, fax -2999
Physical address: building E1 5, room 638