Die Entwicklung von OMDoc bietet einen strukturierten Rahmen für die Darstellung mathematischen Wissens und stellt einen bedeutenden Beitrag des deutschen Informatikers Michael Kohlhase dar. Er wurde 1964 in Erlangen geboren und hat seine berufliche Laufbahn der Schnittstelle von Mathematik und künstlicher Intelligenz gewidmet, wobei er sich darauf konzentriert, wie Computersysteme komplexe logische Strukturen verarbeiten, speichern und verifizieren.
Akademischer Werdegang
Michael Kohlhase schloss 1989 sein Mathematikstudium an der Universität Bonn ab. Anschließend wechselte er an die Universität des Saarlandes, um ein weiterführendes Informatikstudium zu absolvieren, promovierte 1994 und habilitierte 1999. Während dieser Zeit unternahm er ausgedehnte Forschungsaufenthalte an verschiedenen internationalen Institutionen, darunter die Carnegie Mellon University, die Universität Amsterdam, die Universität Edinburgh und SRI International.
Forschung und computergestützte Beiträge
Seine primären Forschungsinteressen liegen im Bereich des automatisierten Theorembeweisens und der Entwicklung von Wissensrepräsentationssystemen für die Mathematik. Ein Großteil seiner Arbeit nutzt webbasierte Inhalts-Markup-Formate wie MathML, OpenMath und OMDoc. Er konzentriert sich auch auf inferenzbasierte Techniken für die Verarbeitung natürlicher Sprache und computergestützte Bildung. Zu seinen praktischen Anwendungen gehören der Aufbau semantischer Suchmaschinen für mathematische Formeln und die Erstellung semantischer Erweiterungen für LaTeX, einschließlich Werkzeugen zur Konvertierung von Altbeständen aus dem arXiv.
Institutionelle Ernennungen
Kohlhase hatte im Laufe seiner Karriere zahlreiche akademische und administrative Positionen inne. Zwischen 2000 und 2003 forschte und lehrte er an der School of Computer Science der Carnegie Mellon University, wo er als Adjunct Associate Professor tätig war. Von 2003 bis 2006 war er Professor für Informatik an der Jacobs University Bremen. Gleichzeitig war er von 2006 bis 2008 stellvertretender Direktor der Abteilung für sichere kognitive Systeme am Deutschen Forschungszentrum für Künstliche Intelligenz in Bremen. Im September 2016 begann er seine Tätigkeit als Professor für Wissensrepräsentation und -verarbeitung an der Universität Erlangen-Nürnberg, wo er auch die Forschungsgruppe KWARC leitet.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Professionelle Dienstleistungen
Über seine institutionellen Rollen hinaus hat Kohlhase durch Führungsaufgaben und Ausschussarbeit zur breiteren wissenschaftlichen Gemeinschaft beigetragen. Er ist Präsident der OpenMath Society und Treuhänder der Interest Group for Mathematical Knowledge Management. Zu seinen früheren Führungsrollen gehören der Konferenzvorsitz für CADE-21 und der Programmvorsitz für die Konferenzen KI-2006, MKM-2005 und CALCULEMUS-2000. Er war Mitglied in den Programmkomitees von über drei Dutzend internationalen Konferenzen und hat vier Bücher sowie fast 100 begutachtete Fachartikel verfasst oder herausgegeben.
Fakten auf einen Blick
- Geboren: 1964, Erlangen, Deutschland - Ausbildung: Universität Bonn (Mathematik), Universität des Saarlandes (Informatik) - Aktuelle Position: Professor an der Universität Erlangen-Nürnberg - Forschungsgruppe: KWARC (Knowledge Adaptation and Reasoning for Content) - Bedeutende Arbeit: OMDoc - Auszeichnungen: Heisenberg-Stipendium (2000), AKI-Preis (1996) - Sprachen: Deutsch, Englisch
Fragen von Lesern
### Was ist der primäre Forschungsschwerpunkt von Michael Kohlhase?
Seine Forschung konzentriert sich auf automatisiertes Theorembeweisen, mathematische Wissensrepräsentation und Computersysteme zur Verwaltung mathematischer Inhalte wie OMDoc und OpenMath.
### Wo lehrt Michael Kohlhase derzeit?
Er ist Professor für Wissensrepräsentation und -verarbeitung an der Universität Erlangen-Nürnberg.
