Academic
Harald Ganzinger
German computer scientist
- Life
- 1950 – 2004
- Born
- October 31, 1950
- Died
- June 3, 2004
- Nationality
- Germany
Harald Ganzinger was a German computer scientist who together with Leo Bachmair developed the superposition calculus, which is used in most of the state-of-the-art automated theorem provers for first-order logic.
§Related entries
Academic
Alfons Kemper
German computer scientist
1958 – present · Germany
Academic
Andy Bechtolsheim
German electrical engineer, co-founder of Sun Microsystems (born 1955)
1955 – present · Germany
Academic
Claudia Eckert (computer scientist)
German computer scientist
1959 – present · Germany
Academic
Daniel Karrenberg
German computer scientist
1959 – present · Germany