Michael Kohlhase
Michael Kohlhase (* September 13 1964 in Erlangen ) is a German computer scientist and professor at the Jacobs University Bremen, where he attended the Faculty of Natural Sciences and Engineering ( School of Engineering and Science ), the research group Kwarc ( Knowledge Adaptation and Reasoning for Content ) is derived.
Academic work
Michael Kohlhase is president of the OpenMath Society and board member of the advocacy group Mathematical Knowledge Management ( MKM ). He has been Board Member of the Conference on Automated Deduction and the interest group CALCULEMUS. He was head of the conference CADE -21, program director of conferences AI - 2006, worked in the program committees of over thirty international conferences MKM -2005 and CALCULEMUS -2000 and has. He has written four books and edited and published nearly 100 peer-reviewed articles.
Michael Kohlhase is Associate Professor ( Adjunct Associate Professor ) at Carnegie Mellon University and was from 2006 to 2008 vice-director of the research department Safe and Secure Cognitive Systems at the Bremen laboratory of the German Research Center for Artificial Intelligence ( DFKI).
Michael Kohlhase 1989 he received a degree in mathematics at the University of Bonn and received his doctorate at the University of Saarland in 1994 in computer science and habilitated in 1999. In the course of his doctoral thesis and later research, he completed research at Carnegie Mellon University, the University of Amsterdam, the University of Edinburgh and at SRI International. From 2000 to 2003 he conducted research and taught at the School of Computer Science at Carnegie Mellon University, where he was appointed Adjunct Associate Professor. In September 2003 he was a professor of computer science at the International University Bremen ( Jacobs University Bremen since 2007), and from 2006 to 2008 he was Deputy Director of the Group for Safe and Secure Cognitive Systems of the Bremen laboratory of the German Research Center for Artificial Intelligence ( DFKI).
Awards and scholarships
Research interests
Michael Kohlhase's current research interests include knowledge representation and Automated Reasoning for Mathematics, Natural language processing method for Inference and semantics and e-learning.
Much of his work is based on actual web content markup languages like MathML, OpenMath, OMDoc and systems for the management of such data, eg Formula search engine, semantic extensions to LaTeX or converting old LaTeX documents from the arXiv.
Further reading (selection)
(complete list)
- 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, AI 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 2000 Symposium CALCULEMUS, AKPeters, Boston, 2001.