Michael Kohlhase

Michael Kohlhase, born on 13 September 1964 in Erlangen, is a German computer scientist who holds the Professorship for Knowledge Representation and Processing at the University of Erlangen-Nuremberg, where he heads the KWARC research group, short for Knowledge Adaptation and Reasoning for Content. He studied mathematics at the University of Bonn, finishing in 1989, and took his doctorate in 1994 and his habilitation in 1999 in computer science at Saarland University, with extended research visits to Carnegie Mellon University, the University of Amsterdam, the University of Edinburgh and SRI International. He worked at the School of Computer Science at Carnegie Mellon from 2000 to 2003, became professor at Jacobs University Bremen in 2003, and from 2006 to 2008 was vice director of a department at the German Research Centre for Artificial Intelligence in Bremen. He is president of the OpenMath Society, a trustee of the Interest Group for Mathematical Knowledge Management, and a member of the Global Digital Mathematics Library Working Group of the International Mathematical Union. He has authored or edited four books and published almost one hundred peer-reviewed papers.