max planck institut
informatik
informatik
Prof. Dr. Harald Ganzinger, director at the Max-Planck-Institut für Informatik in Saarbrücken, is to receive the 2004 Herbrand Award.
Since 1992, the Herbrand Award is given annually to one scientist for distinguished contributions to automated reasoning. The award, which carries a $1000 prize, is named after the French mathematician and logician Jacques Herbrand (1908-1931) and is considered to be the most renowned international research prize in this area.
Harald Ganzinger, born 1950, has been leader of the Programming Logics Group at MPI Saarbrücken and honorary professor at the University of the Saarland since 1991; before, he held a chair in computer science at the University of Dortmund. His main field of research is automated deduction -- the development of push-button methods for proving and disproving logical statements that can be used as automatic tools within the verification of large hardware and software systems. The superposition calculus, which he developed in collaboration with Leo Bachmair, is nowadays the standard method for the efficient treatment of equational problems in automatic provers.
The award committee cited Ganzinger for his "seminal work on the theory underlying modern theorem proving systems; the breadth of his research covering nearly all major areas of deduction, and the depth of his results in each one of them; and his effective contributions to the development of systems and implementation techniques."
The Herbrand Award will be presented at the "International Joint Conference on Automated Reasoning" in Cork (Ireland) on July 7, 2004.
Uwe Waldmann .
| Created: | Roxane Wetzel/ZB/MPII/DE, 05/14/2004 04:42 PM | Last modified: | Uwe Brahm/MPII/DE, 02/10/2006 04:17 PM |
