![]() |
Date and place of birth: Heidelberg, August 5, 1941 | ||||||
![]() |
Nationality: German | ||||||
![]() |
Education | ||||||
| Ph. D. in Computer Science | 1976 University of Essex, England | ||||||
| M. Sc. in Computer Science | 1973 University of Essex, England | ||||||
| Vordiplom Mathematics/Physics | 1971 Universität Göttingen, Germany | ||||||
| Abitur, Adult Education | 1967-69 Braunschweig-Kolleg, Germany | ||||||
| Degree in Engineering (grad. Ing.) | 1965-67 Holztechnikum at Rosenheim,Germany | ||||||
| Welding, Exhaust Pipes | 1963-64 Bückeburg, Germany | ||||||
| Apprenticeship with a joiner | 1959-62 Bückeburg, Germany | ||||||
![]() |
Career / Employment | ||||||
| Universität des Saarlandes | Professor in Computer Science | 1991 - present | |||||
| German Research Centre for Artificial Intelligence (DFKI) |
Scientific Director at DFKI | 1991 - present | |||||
| Universität Kaiserslautern | Professor in Computer Science | 1983 - 1990 | |||||
| Universität Karlsruhe | Research Assistant/Assistant Prof | 1976 - 1982 | |||||
![]() |
Specialization | ||||||
| (i) main field | Artificial Intelligence | ||||||
| (ii) sub fields | Automated Reasoning, Formal Methods, Multiagent Systems | ||||||
| (iii) current research interests | Proof Planning, Multiagent Architectures, e-Learning for Mathematics | ||||||
![]() |
Awards and Honours | ||||||
| Studienstiftung des Deutschen Volkes | |||||||
| Fellow of the European Coordinating Committee of AI (ECCAI) | |||||||
| Fellow of the German Computer Science Society (GI) | |||||||
| Vice Chairman of the International Federation on Computational Logic (IFCoLog) | |||||||
| Chairman of the European Network of Excellence and Computational Logic (CoLoG-Net) | |||||||
| Past and Founding Chairman of the German AI Society (GI-KI) | |||||||
| Chairman of the Collaborative Research Centre (SFB 378) on 'Resource bounded cognitive Processes' | |||||||
![]() |
Publications | ||||||
| CV in "Who-is-who in the world" | |||||||
| Publications | |||||||







