Geburtsdatum | Mittwoch, 09. August 1950 |
Sternzeichen | Löwe |
Beschreibung | Christoph Walther (born 9 August 1950)is a German computer scientist, known for his contributions to automated theorem proving.He is Professor emeritus at Darmstadt University of Technology. |