Harald Ganzinger height - How tall is Harald Ganzinger?

Harald Ganzinger was born on 31 October, 1950 in Werneck, Germany, is a German computer scientist. At 54 years old, Harald Ganzinger height not available right now. We will update Harald Ganzinger's height soon as possible.

Gabe Newell

5' 6"
Stephan Flauder

6' 5"
Ian Murdock

5' 10"
Patrizia Caccamo

5' 2"
Nadia Hilker

5' 8"

Now We discover Harald Ganzinger's Biography, Age, Physical Stats, Dating/Affairs, Family and career updates. Learn How rich is He in this year and how He spends money? Also learn how He earned most of net worth at the age of 54 years old?

Popular As	N/A
Occupation	N/A
Harald Ganzinger Age	54 years old
Zodiac Sign	Scorpio
Born	31 October 1950
Birthday	31 October
Birthplace	Werneck, Germany
Date of death	June 3, 2004,
Died Place	Saarbrücken, Germany
Nationality	Germany

We recommend you to check the complete list of Famous People born on 31 October. He is a member of famous Computer with the age 54 years old group.

Harald Ganzinger Weight & Measurements

Physical Status
Weight	Not Available
Body Measurements	Not Available
Eye Color	Not Available
Hair Color	Not Available

Dating & Relationship status

He is currently single. He is not dating anyone. We don't have much information about He's past relationship and any previous engaged. According to our Database, He has no children.

Family
Parents	Not Available
Wife	Not Available
Sibling	Not Available
Children	Not Available

Harald Ganzinger Net Worth

He net worth has been growing significantly in 2021-22. So, how much is Harald Ganzinger worth at the age of 54 years old? Harald Ganzinger’s income source is mostly from being a successful Computer. He is from Germany. We have estimated Harald Ganzinger's net worth , money, salary, income, and assets.

Net Worth in 2022	$1 Million - $5 Million
Salary in 2022	Under Review
Net Worth in 2021	Pending
Salary in 2021	Under Review
House	Not Available
Cars	Not Available
Source of Income	Computer

Harald Ganzinger Social Network

Instagram
Linkedin
Twitter
Facebook
Wikipedia	Harald Ganzinger Wikipedia
Imdb

Timeline

2004

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

1978

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.

1950

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.