Age, Biography and Wiki

Harald Ganzinger was born on 31 October, 1950 in Werneck, Germany, is a German computer scientist. Discover Harald Ganzinger's Biography, Age, Height, 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 networth at the age of 53 years old?

Popular As N/A
Occupation N/A
Age 53 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 53 years old group.

Harald Ganzinger Height, Weight & Measurements

At 53 years old, Harald Ganzinger height not available right now. We will update Harald Ganzinger's Height, weight, Body Measurements, Eye Color, Hair Color, Shoe & Dress size soon as possible.

Physical Status
Height Not Available
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

His net worth has been growing significantly in 2023-2024. So, how much is Harald Ganzinger worth at the age of 53 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 2024 $1 Million - $5 Million
Salary in 2024 Under Review
Net Worth in 2023 Pending
Salary in 2023 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

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.

1978

He received his Ph.D. from the Technical University of Munich in 1978.

1991

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.

2004

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.