Quantcast
MK
Germany
125 views this week
Michael Kohlhase

Michael Kohlhase

German computer scientist
The basics
Quick Facts
Intro German computer scientist
Countries Germany
Occupations Computer scientist University teacher Mathematician Artificial intelligence researcher
Gender male
Birth 13 September 1964 (Erlangen)
Star sign Virgo
Education Saarland University
Notable Works OMDoc
Michael Kohlhase
The details
Biography

Michael Kohlhase (born 13 September 1964 in Erlangen) is a German computer scientist and professor at Friedrich-Alexander University Erlangen-Nürnberg, where he is head of the KWARC research group (Knowledge Adaptation and Reasoning for Content).

Academic Positions

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

Academic career

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. Since September 2016 he holds the Professorship for Knowledge Representation and Processing at Friedrich-Alexander University Erlangen-Nürnberg.

He has authored or edited four books and published almost 100 peer-reviewed papers.

Awards and Scholarships

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

Research interests

Michael Kohlhase explains the semantic search engine MathWebSearch

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, semantic extensions to LaTeX, or converting legacy LaTeX documents from the arXiv.

The contents of this page are sourced from Wikipedia article. The contents are available under the CC BY-SA 4.0 license.
comments so far.
Comments
Lists
Michael Kohlhase is in following lists
View all
References
http://citeseer.ist.psu.edu/allcited.html
http://data.bnf.fr/ark:/12148/cb14608534c
http://dblp.uni-trier.de/pers/hd/k/Kohlhase:Michael
http://genealogy.math.ndsu.nodak.edu/id.php?id=136649
http://isni.org/isni/0000000055199011
http://kwarc.info
http://kwarc.info/kohlhase
http://kwarc.info/projects/arXMLiv/
http://kwarc.info/projects/stex/
http://search.mathweb.org
http://www.dfki.de/web/research/sks/
arrow-left arrow-right arrow-up arrow-down instagram whatsapp myspace quora soundcloud spotify tumblr vk website youtube stumbleupon comments comments pandora gplay iheart tunein pandora gplay iheart tunein itunes