Michael Kohlhase
| Michael Kohlhase | |
|---|---|
 |
|
| Born |
13 September 1964 Erlangen, Germany |
| Residence | Germany |
| Nationality | German |
| Fields | Mathematics, Computer Science |
| Alma mater | Saarland University |
| Thesis | A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle (1994) |
| Doctoral advisor | Jörg Siekmann |
| Known for | OMDoc |
Michael Kohlhase (born 13 September 1964 in Erlangen) is a German computer scientist and professor at Jacobs University, Bremen, Germany, where he is head of the KWARC research group (Knowledge Adaptation and Reasoning for Content) at the School of Engineering and Science.
Michael Kohlhase is president of the OpenMath Society and a trustee of the Interest Group for Mathematical Knowledge Management (MKM). He was a trustee of the Conference on Automated Deduction and the CALCULEMUS Interest Group. He has been Conference Chair of CADE-21 and Program Chair of the KI-2006, MKM-2005, and CALCULEMUS-2000 conferences and has served on the Programme Committees of more than three dozen international conferences. He has authored or edited four books and published almost 100 peer-reviewed papers.
Kohlhase holds an adjunct associate professorship at Carnegie Mellon University and was (2006–2008) vice director of the Department of Safe and Secure Cognitive Systems at German Research Centre for Artificial Intelligence (DFKI) Lab Bremen.
In 2014, he became a member of the Global Digital Mathematics Library Working Group of the IMU.
Michael Kohlhase obtained a degree in Mathematics (1989) from University of Bonn, a doctorate (1994) and habilitation (1999) in Computer Science at Saarland University. He has pursued his doctoral and post-doctoral research in extended research visits at Carnegie Mellon University, University of Amsterdam, the University of Edinburgh, and SRI International. From 2000-2003, he has conducted research and taught at the School of Computer Science at Carnegie Mellon University, where he was appointed to an adjunct associate professor. In September 2003 he was appointed as Professor of Computer Science at Jacobs University Bremen (International University Bremen until 2007), and 2006-2008 he was vice director of the Department of Safe and Secure Cognitive Systems of the German Research Centre for Artificial Intelligence (DFKI) Bremen.
...
Wikipedia