Alter | 75 Jahre |
Geburtsdatum | Mittwoch, 09. August 1950 |
Sternzeichen | |
Beschreibung | Christoph Walther (* 9. August 1950) ist ein deutscher Informatiker, der für seine Beiträge zur automatisierten Theorembeweisführung bekannt ist. Er ist Professor im Ruhestand an der Technischen Universität Darmstadt. |
