A | B | C | D | E | F 
 G | H | I | J | K | L | M 
 N | O | P | Q | R | S | T 
 U | V | W | X | Y | Z 
max planck institut
informatik
mpii logo Minerva of the Max Planck Society

Homepage

Ganzinger, Harald

Harald Ganzinger (1950 - 2004)

Max-Planck-Institut für Informatik
Scientific Director

Prof. Dr. Harald Ganzinger died on June 3, 2004 after a long and serious illness.

If you are interested in Harald Ganzingers work, please contact:

Prof. Dr. Christoph Weidenbach
Campus E1 4, Room 612 (Building E1 5)
66123 Saarbrücken
Germany

Email: Get my email address via email
Phone: +49 681 9325 900
Fax: +49 681 9325 999


Research Topics



Publications



Slides



Provers



Activities





Former Students