Category:Michael Kohlhase

**Michael Kohlhase**
	German computer scientist
	Upload media
	Wikipedia
Name in native language	Michael Kohlhase;
Date of birth	13 September 1964; Erlangen
Country of citizenship	Germany;
Residence	Germany;
Educated at	Saarland University;
Doctoral advisor	Jörg Siekmann; Peter B. Andrews; Frank Pfenning;
Doctoral student	Florian Rabe; Christoph E. Benzmüller; Immanuel Normann;
Occupation	computer scientist; university teacher; mathematician; artificial intelligence researcher;
Employer	University of Erlangen–Nuremberg;
Field of work	mathematics;
Notable work	OMDoc;
Authority file
	Q91233; ISNI: 0000000055199011; VIAF ID: 2721665; GND ID: 1129482057; Library of Congress authority ID: n00009356; Bibliothèque nationale de France ID: 14608534c; NL CR AUT ID: xx0042991; Nationale Thesaurus voor Auteursnamen ID: 320840050; NUKAT ID: n2017164205; National Library of Israel J9U ID: 987007460287605171; ORCID iD: 0000-0002-9859-6337; Mathematics Genealogy Project ID: 136649
	Reasonator; Scholia; Wikidocumentaries; PetScan; statistics; WikiMap; Locator tool; KML file; Search depicted;

Pages in category "Michael Kohlhase"

This category contains only the following page.

The following 3 files are in this category, out of 3 total.