Michael Kohlhase

Michael Kohlhase

Michael Kohlhase (born September 13, 1964 in Erlangen ) is a German computer scientist and professor at the FAU Erlangen-Nuremberg , where he heads the KWARC (Knowledge Adaptation and Reasoning for Content) research group at the Technical Faculty .

Life

Michael Kohlhase is President of the OpenMath Society and board member of the Mathematical Knowledge Management (MKM) interest group . He has served on the board of the Conference on Automated Deduction and the CALCULEMUS advocacy group . He was chair of the CADE -21 conference , program director of the KI -2006, MKM -2005 and CALCULEMUS-2000 conferences, and has served on the program committees of over thirty international conferences. He has written or edited four books and published nearly 100 peer-reviewed articles.

Michael Kohlhase is an adjunct associate professor at Carnegie Mellon University and from 2006 to 2008 was vice director of the research area Safe Cognitive Systems at the Bremen laboratory of the German Research Center for Artificial Intelligence (DFKI).

Michael Kohlhase received a diploma in mathematics from the University of Bonn in 1989 and received his doctorate in computer science from the University of Saarland in 1994 and his habilitation in 1999 . In the course of his doctoral thesis and subsequent research, he completed research stays at Carnegie Mellon University , the University of Amsterdam , the University of Edinburgh and at SRI International . From 2000 to 2003 he researched and taught at the School of Computer Science at Carnegie Mellon University, where he was appointed Adjunct Associate Professor . In September 2003 he was appointed professor of computer science at the International University Bremen ( Jacobs University Bremen since 2007), and from 2006-2008 he was vice director of the group for secure cognitive systems of the Bremen laboratory of the German Research Center for Artificial Intelligence (DFKI). In September 2016 he moved to FAU Erlangen-Nürnberg .

Since 2014 he has been a member of the Global Digital Mathematical Library Working Group at IMU .

Awards and grants

• 2000: three-year Heisenberg grant from the German Research Foundation (DFG).
• 1996: AKI dissertation award of the "Working Group of German KI Institutes (AKI)"
• 1991: PhD scholarship from the German National Academic Foundation
• 1986: Scholarship from the German National Academic Foundation

Research interests

Michael Kohlhase explains the semantic search engine MathWebSearch

Michael Kohlhase's current research interests include automatic proofing and knowledge representation for mathematics , inference-based methods for natural language processing and semantics, and e-learning .

A large part of his concrete work is based on web content markup languages ​​such as MathML , OpenMath , OMDoc and systems for managing such data, e.g. B. Formula search engines, semantic extensions to LaTeX . or the conversion of old LaTeX documents from the arXiv .

Further reading (selection)

• 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.

Web links

• Michael Kohlhase's homepage
• Knowledge Adaptation and Reasoning for Content
• DFKI Laboratory Bremen, Safe Cognitive Systems
• OpenMath Society
• MathWeb - a site for MKM projects

Individual evidence

1. ↑ The Global Digital Mathematical Library Working Group ( Memento of the original from September 21, 2017 in the Internet Archive ) Info: The archive link has been inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice. 
2. ↑ Archived copy ( memento of the original from November 26, 2014 in the Internet Archive ) Info: The archive link was inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice. 
3. ↑ Archived copy ( Memento of the original from September 12, 2007 in the Internet Archive ) Info: The archive link was inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice. 
4. ↑ Archived copy ( memento of the original dated February 9, 2008 in the Internet Archive ) Info: The archive link was inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice.