Michael Kohlhase
From Wikipedia, the free encyclopedia
Dr. Michael Kohlhase (born 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.
Contents |
[edit] Academic Positions
Dr. Michael Kohlhase is a vice director of the Department of Safe and Secure Cognitive Systems at German Research Centre for Artificial Intelligence (DFKI) Lab Bremen and holds an adjunct associate professorship at Carnegie Mellon University.
He 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.
[edit] Academic Career
Dr. 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 International University Bremen (Jacobs University Bremen as of 2007), and in 2006 he was a founding member of German Research Centre for Artificial Intelligence (DFKI) Lab Bremen, where he is vice director of the Department of Safe and Secure Cognitive Systems.
[edit] Awards and Stipends
- 2000
- 3-year Heisenberg-Stipend of the Deutsche Forschungsgemeinschaft (DFG).
- 1996
- AKI-prize, dissertation prize of the “Arbeitsgemeinschaft deutscher KI-Institute (AKI)”
- 1991
- dissertation stipend of the Studienstiftung (German National Academic Foundation)
- 1986
- masters stipend of Studienstiftung
[edit] Research Interests
Dr. Michael Kohlhase's current research interests include Automated theorem proving and knowledge representation for mathematics, inference-based techniques for natural language processing and semantics, and computer-supported education.
Much of his concrete work is based on web-based content markup formats like MathML, OpenMath, and OMDoc and systems for managing this data, e.g. semantic search engines for mathematical formulae[1], semantic extensions to LaTeX[2], or converting legacy LaTeX documents from the arXiv[3].
[edit] Bibliography
see a more complete bibliography
- Michael Kohlhase OMDoc: Open Mathematical Documents [Version 1.2], Springer Verlag, LNAI 4180, 2006.
- Christian Freksa, Michael Kohlhase, Kerstin Schill (eds.): The 29th Annual German Conference on Artificial Intelligence, KI 2006, LNAI 4314, Springer Verlag, 2006.
- Michael Kohlhase (ed.): Mathematical Knowledge Management, 4th International Conference, MKM 2005, Lecture Notes in Artificial Intelligence 3863, Springer Verlag, 2005.
- Manfred Kerber, Michael Kohlhase: Symbolic Computation and Automated Reasoning, Proceedings of the CALCULEMUS-2000 Symposium, AKPeters, Boston 2001.
