Michael Kohlhase

Summary

Michael Kohlhase is a human^[1]. Born in Erlangen^[2], he… he was born on September 13, 1964^[3]. He worked as a computer scientist^[4], university teacher^[5], mathematician^[6], and artificial intelligence researcher^[7]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (18 views/month, #7,292 of 1,000,298).^[8]

Key Facts

• Michael Kohlhase was born in Erlangen^[2].
• Michael Kohlhase was born on September 13, 1964^[3].
• Michael Kohlhase held citizenship in Germany^[9].
• Michael Kohlhase's professions included computer scientist^[4].
• Michael Kohlhase worked as a university teacher^[5].
• Michael Kohlhase's professions included mathematician^[6].
• Michael Kohlhase's professions included artificial intelligence researcher^[7].
• Michael Kohlhase's field of work was mathematics^[10].
• Michael Kohlhase was employed by Friedrich-Alexander-Universität Erlangen-Nürnberg^[11].
• Michael Kohlhase's education included a stint at Saarland University^[12].
• Michael Kohlhase's doctoral advisor was Jörg Siekmann^[13].
• Michael Kohlhase's doctoral advisor was Peter B. Andrews^[14].
• Michael Kohlhase's doctoral advisor was Frank Pfenning^[15].
• A notable work attributed to Michael Kohlhase is OMDoc^[16].
• Michael Kohlhase is recorded as male^[17].
• Michael Kohlhase's instance of is recorded as human^[18].
• Michael Kohlhase supervised Florian Rabe as a doctoral student^[19].
• Michael Kohlhase supervised Immanuel Normann as a doctoral student^[20].
• Michael Kohlhase supervised Christoph Benzmüller as a doctoral student^[21].
• Michael Kohlhase's Commons category is recorded as Michael Kohlhase^[22].
• Michael Kohlhase's residence is recorded as Germany^[23].
• Michael Kohlhase's family name is recorded as Kohlhase^[24].
• Michael Kohlhase's given name is recorded as Michael^[25].
• Michael Kohlhase's topic's main category is recorded as Category:Michael Kohlhase^[26].
• Michael Kohlhase's Commons gallery is recorded as Michael Kohlhase^[27].

Body

Origins and Family

Born in Erlangen^[2], Michael Kohlhase… he was born on September 13, 1964^[3].

Education

Michael Kohlhase was educated at Saarland University^[12]. Doctoral advisors include Jörg Siekmann^[13], a university teacher^[28], b. 1941^[29], of Germany^[30]; Peter B. Andrews^[14], a mathematician^[31], 1937–2025^[32], of United States^[33], awarded the Herbrand Award^[34], specialised in mathematical logic^[35]; and Frank Pfenning^[15], an engineer^[36], b. 2000^[37], awarded the ACM Fellow^[38].

Career and Affiliations

Recorded occupations include computer scientist^[4], university teacher^[5], mathematician^[6], and artificial intelligence researcher^[7]. Michael Kohlhase's field of work was mathematics^[10]. He was employed by Friedrich-Alexander-Universität Erlangen-Nürnberg^[11]. Doctoral students include Florian Rabe^[19], a researcher^[39]; Immanuel Normann^[20], a computer scientist^[40]; and Christoph Benzmüller^[21], a computer scientist^[41], b. 1968^[42], of Germany^[43].

Works and Contributions

A notable work attributed to Michael Kohlhase is OMDoc^[16].

Why It Matters

Michael Kohlhase ranks in the top 0.73% of human entities by monthly Wikipedia readership (18 views/month, #7,292 of 1,000,298).^[8]

His notable doctoral advisees include Christoph Benzmüller^[44], a computer scientist^[45], b. 1968^[46], of Germany^[47] and Immanuel Normann^[48], a computer scientist^[49].

FAQs

Where was Michael Kohlhase born?

Born in Erlangen^[2], Michael Kohlhase…

What did Michael Kohlhase do for work?

Michael Kohlhase worked as computer scientist^[4], university teacher^[5], mathematician^[6], and artificial intelligence researcher^[7].

Where did Michael Kohlhase go to school?

Michael Kohlhase was educated at Saarland University^[12].