Michael Kohlhase (born 13 September 1964, in

Erlangen Erlangen (; East Franconian German, East Franconian: ''Erlang'', Bavarian language, Bavarian: ''Erlanga'') is a Middle Franconian city in Bavaria, Germany. It is the seat of the administrative district Erlangen-Höchstadt (former administrative d ...

) is a

German German(s) may refer to: * Germany (of or related to) **Germania (historical use) * Germans, citizens of Germany, people of German ancestry, or native speakers of the German language ** For citizens of Germany, see also German nationality law **Ger ...

computer scientist and professor at

University of Erlangen–Nuremberg University of Erlangen–Nuremberg (german: Friedrich-Alexander-Universität Erlangen-Nürnberg, FAU) is a Public University, public research university in the cities of Erlangen and Nuremberg in Bavaria, Germany. The name Friedrich–Alexander ...

, where he is head of the KWARC research group (Knowledge Adaptation and Reasoning for Content).

Academic Positions

Michael Kohlhase is president of the

OpenMath OpenMath is the name of a markup language for specifying the meaning of mathematical formulae. Among other things, it can be used to complement MathML, a standard which mainly focuses on the presentation of formulae, with information about their sem ...

Society and a trustee of the Interest Group for

Mathematical Knowledge Management Mathematical knowledge management (MKM) is the study of how society can effectively make use of the vast and growing literature on mathematics. It studies approaches such as databases of mathematical knowledge, automated processing of formulae an ...

(MKM). He was a trustee of the

Conference on Automated Deduction The Conference on Automated Deduction (CADE) is the premier academic conference on automated deduction and related fields. The first CADE was organized in 1974 at the Argonne National Laboratory near Chicago. Most CADE meetings have been held in Eur ...

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 Carnegie Mellon University (CMU) is a private research university in Pittsburgh, Pennsylvania. One of its predecessors was established in 1900 by Andrew Carnegie as the Carnegie Technical Schools; it became the Carnegie Institute of Technology ...

and was (2006–2008) vice director of the Department of Safe and Secure Cognitive Systems at

German Research Centre for Artificial Intelligence The German Research Center for Artificial Intelligence (German: ''Deutsches Forschungszentrum für Künstliche Intelligenz'', DFKI) is one of the world's largest nonprofit contract research institutes for software technology based on artificial in ...

(DFKI) Lab

Bremen Bremen (Low German also: ''Breem'' or ''Bräm''), officially the City Municipality of Bremen (german: Stadtgemeinde Bremen, ), is the capital of the German state Free Hanseatic City of Bremen (''Freie Hansestadt Bremen''), a two-city-state consis ...

. In 2014, he became a member of the

Global Digital Mathematics Library The ''Global Digital Mathematics Library'' (GDML) is a project organized under the auspices of the International Mathematical Union (IMU) to establish a digital library focused on mathematics. A working group was convened in September 2014, follow ...

Working Group of the

IMU IMU may refer to: Science and technology * Inertial measurement unit, a device that measures acceleration and rotation, used for example to maneuver modern vehicles including motorcycles, missiles, air- and spacecraft Businesses and organizations ...

Academic career

Michael Kohlhase obtained a degree in

Mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

(1989) from

University of Bonn The Rhenish Friedrich Wilhelm University of Bonn (german: Rheinische Friedrich-Wilhelms-Universität Bonn) is a public research university located in Bonn, North Rhine-Westphalia, Germany. It was founded in its present form as the ( en, Rhine U ...

, a doctorate (1994) and

habilitation Habilitation is the highest university degree, or the procedure by which it is achieved, in many European countries. The candidate fulfills a university's set criteria of excellence in research, teaching and further education, usually including a ...

(1999) in

Computer Science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

Saarland University Saarland University (german: Universität des Saarlandes, ) is a public research university located in Saarbrücken, the capital of the German state of Saarland. It was founded in 1948 in Homburg in co-operation with France and is organized in si ...

. He has pursued his doctoral and post-doctoral research in extended research visits at

University of Amsterdam The University of Amsterdam (abbreviated as UvA, nl, Universiteit van Amsterdam) is a public research university located in Amsterdam, Netherlands. The UvA is one of two large, publicly funded research universities in the city, the other being ...

, the

University of Edinburgh The University of Edinburgh ( sco, University o Edinburgh, gd, Oilthigh Dhùn Èideann; abbreviated as ''Edin.'' in post-nominals) is a public research university based in Edinburgh, Scotland. Granted a royal charter by King James VI in 15 ...

, and

SRI International SRI International (SRI) is an American nonprofit scientific research institute and organization headquartered in Menlo Park, California. The trustees of Stanford University established SRI in 1946 as a center of innovation to support economic d ...

. From 2000–2003, he has conducted research and taught at the School of Computer Science at

, where he was appointed to an adjunct associate professor. In September 2003 he was appointed as Professor of Computer Science at

Jacobs University Bremen Constructor University is an international, private, residential research university located in Vegesack, Bremen, Germany. It offers study programs in engineering, humanities, natural and social sciences, in which students can acquire bachelor's ...

(International University Bremen until 2007), and 2006–2008 he was vice director of the Department of Safe and Secure Cognitive Systems of the

(DFKI)

. Since September 2016 he holds the Professorship for Knowledge Representation and Processing at University of Erlangen–Nuremberg. 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 The German Research Foundation (german: Deutsche Forschungsgemeinschaft ; DFG ) is a German research funding organization, which functions as a self-governing institution for the promotion of science and research in the Federal Republic of Germ ...

(DFG). ;1996:AKI-prize, dissertation prize of the "Arbeitsgemeinschaft deutscher KI-Institute (AKI)" ;1991:dissertation stipend of the

Studienstiftung The German Academic Scholarship Foundation (German: , or ''Studienstiftung'' for short) is Germany's largest and most prestigious scholarship foundation. According to its statutes, it supports "the university education of young people who, on ac ...

(German National Academic Foundation) ;1986:masters stipend of

Research interests

Michael Kohlhase's current research interests include

Automated theorem proving Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a maj ...

and

knowledge representation Knowledge representation and reasoning (KRR, KR&R, KR²) is the field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can use to solve complex tasks such as diagnosing a medic ...

for

mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

inference Inferences are steps in reasoning, moving from premises to logical consequences; etymologically, the word '' infer'' means to "carry forward". Inference is theoretically traditionally divided into deduction and induction, a distinction that in ...

-based techniques for

natural language processing Natural language processing (NLP) is an interdisciplinary subfield of linguistics, computer science, and artificial intelligence concerned with the interactions between computers and human language, in particular how to program computers to pro ...

and

semantics Semantics (from grc, σημαντικός ''sēmantikós'', "significant") is the study of reference, meaning, or truth. The term can be used to refer to subfields of several distinct disciplines, including philosophy Philosophy (f ...

, and computer-supported education. Much of his concrete work is based on web-based content markup formats like

MathML Mathematical Markup Language (MathML) is a mathematical markup language, an application of XML for describing mathematical notations and capturing both its structure and content. It aims at integrating mathematical formulae into World Wide Web ...

, and

OMDoc OMDoc (Open Mathematical Documents) is a semantic markup format for mathematical documents. While MathML only covers mathematical formulae and the related OpenMath standard only supports formulae and “content dictionaries” containing definitio ...

and systems for managing this data, e.g.

semantic search Semantic search denotes search with meaning, as distinguished from lexical search where the search engine looks for literal matches of the query words or variants of them, without understanding the overall meaning of the query. Semantic search seek ...

engines for mathematical formulae, semantic extensions to

LaTeX Latex is an emulsion (stable dispersion) of polymer microparticles in water. Latexes are found in nature, but synthetic latexes are common as well. In nature, latex is found as a milky fluid found in 10% of all flowering plants (angiosperms ...

, or converting legacy LaTeX documents from the

arXiv arXiv (pronounced "archive"—the X represents the Greek letter chi ⟨χ⟩) is an open-access repository of electronic preprints and postprints (known as e-prints) approved for posting after moderation, but not peer review. It consists of ...

Bibliography

se
a more complete bibliography
* Michael Kohlhase ''OMDoc: Open Mathematical Documents ersion 1.2', Springer Verlag,

LNAI ''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorials, ...

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. In 2006, Michael Kohlhase ranked #8126 in

CiteSeer CiteSeerX (formerly called CiteSeer) is a public search engine and digital library for scientific and academic papers, primarily in the fields of computer and information science. CiteSeer's goal is to improve the dissemination and access of ac ...

's list of most cited computer science authors, having 305 citations.Top 10,000 cited authors in Computer Science – August 2006
/ref>

References

External links

Michael Kohlhase's website at the Jacobs University

Knowledge Adaptation and Reasoning for Content

DFKI Lab Bremen, Safe and Secure Cognitive Systems

OpenMath Society

MathWeb
a site for MKM-related projects
Michael Kohlhase
at the

Mathematics Genealogy Project The Mathematics Genealogy Project (MGP) is a web-based database for the academic genealogy of mathematicians.. By 31 December 2021, it contained information on 274,575 mathematical scientists who contributed to research-level mathematics. For a ty ...

Publications
ar

DBLP DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since Nove ...

{{DEFAULTSORT:Kohlhase, Michael 1964 births Artificial intelligence researchers German computer scientists Academic staff of the University of Erlangen-Nuremberg Living people Studienstiftung alumni Natural language processing researchers