Quantcast
peoplepill id: harald-ganzinger
HG
1 views today
1 views this week
Harald Ganzinger

Harald Ganzinger German computer scientist

German computer scientist
The basics
Quick Facts
Intro German computer scientist
A.K.A. Ganzinger
Was Mathematician Computer scientist Engineer Professor Educator
From Germany
Type Academia Engineering Mathematics Science Technology
Gender male
Birth 1950, Werneck, Germany
Death 2004 (aged 54 years)
The details
Biography

Harald Ganzinger (31 October 1950, Werneck – 3 June 2004, Saarbrücken) was a German computer scientist who together with Leo Bachmair developed the superposition calculus, which is (as of 2007) used in most of the state-of-the-art automated theorem provers for first-order logic.

He received his Ph.D. from the Technical University of Munich in 1978. Before 1991 he was a Professor of Computer Science at University of Dortmund. Then he joined the Max Planck Institute for Computer Science in Saarbrücken shortly after it was founded in 1991. Until 2004 he was the Director of the Programming Logics department of the Max Planck Institute for Computer Science and honorary professor at Saarland University. His research group created the SPASS automated theorem prover.

He received the Herbrand Award in 2004 (posthumous) for his important contributions to automated theorem proving.

The contents of this page are sourced from Wikipedia article. The contents are available under the CC BY-SA 4.0 license.
comments so far.
Comments
Reference sources
References
http://logcom.oxfordjournals.org/cgi/content/abstract/4/3/217
https://web.archive.org/web/20050409021758/http://www.mpi-inf.mpg.de/~hg/
https://web.archive.org/web/20131207233942/http://www.mpi-inf.mpg.de/alumni/ag2/2011/hg
https://dl.acm.org/author_page.cfm?id=81100475310
https://dblp.org/pid/g/HaraldGanzinger
https://d-nb.info/gnd/121309215
http://isni.org/isni/0000000083718982
https://id.loc.gov/authorities/names/n85265531
http://data.bibliotheken.nl/id/thes/p073389773
https://viaf.org/viaf/35028679
https://www.worldcat.org/identities/lccn-n85265531
arrow-left arrow-right arrow-up arrow-down instagram whatsapp myspace quora soundcloud spotify tumblr vk website youtube stumbleupon comments comments pandora gplay iheart tunein pandora gplay iheart tunein itunes