Dr. Wolfgang Bibel
Wolfgang Bibel is currently Professor emeritus for Intellectics at the Department of Computer Science of the Darmstadt University of Technology in Germany. He also maintains an affiliation with the University of British Columbia in Vancouver, Canada, as an Adjunct Professor. Before moving to Darmstadt in 1988 he was a Professor at the University of British Columbia in Vancouver and a Fellow of the Canadian Institute for Advanced Research. Before that he worked as a senior researcher at the Technical University in Munich and held visiting professorships at several universities (Rome, Duke, Karlsruhe, Saarbrücken, Wayne State a.o.).
Wolfgang Bibel received his PhD with a thesis in Mathematical Logic in 1968 and his Diploma in Mathematics in 1964 from the Ludwig-Maximilian University in Munich. His more than 200 publications including about 20 books cover a variety of topics in Artificial Intelligence/Intellectics such as automated deduction, architecture of deductive systems, knowledge representation and inference, planning, learning, program synthesis, aspects of applications of AI in disciplines like Psychology, Sociology, Education, and Politics.
Professor Bibel for many years served on more than a dozen boards of journals and book series, for instance as Section Editor of the Artificial Intelligence Journal. In the years 1992 through 1998 he coordinated the national program on Automated Deduction in Germany. He was heavily involved in the foundation of Artificial Intelligence research and organization in Germany and Europe, for instance 1982-1986 as founding president of ECCAI, the European AI organization, and in 1987-1989 he served as President of IJCAII, the International Joint Conferences for Artificial Intelligence Inc.
Dr. Bibel is a fellow of the American Association for Artificial Intelligence (AAAI), of the European one (ECCAI ), of the Gesellschaft für Informatik (GI), and he received the Donald E. Walker Distinguished Service Award from IJCAII, the Silver Core from IFIP, the Herbrand Award from CADE Inc., among several other awards.