Michael Kohlhase

aus Wikipedia, der freien Enzyklopädie

Michael Kohlhase (* 13. September 1964 in Erlangen) ist ein deutscher Informatiker und Professor an der Jacobs University Bremen, wo er an der Fakultät für Natur- und Ingenieurswissenschaften (School of Engineering and Science) die Forschungsgruppe KWARC (Knowledge Adaptation and Reasoning for Content) leitet.

Inhaltsverzeichnis 1 Akademische Ämter 2 Akademische Karriere 3 Auszeichnungen und Stipendien 4 Forschungsinteressen 5 Veröffentlichungen 6 Weblinks 7 Einzelnachweise

[Bearbeiten] Akademische Ämter

Michael Kohlhase ist Vizedirektor des Forschungsbereichs Sichere Kognitive Systems am Bremer Labor des Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) sowie assoziierter Professor (Adjunct Associate Professor) an der Carnegie Mellon University.

Er ist Präsident der OpenMath Society und Vorstandsmitglied der Interessengruppe Mathematical Knowledge Management (MKM). Er ist Leitungsmitglied der Conference on Automated Deduction und der Interessengruppe CALCULEMUS gewesen. Er war Leiter der Konferenz CADE-21, Programmleiter der Konferenzen KI-2006, MKM-2005 und CALCULEMUS-2000 und hat in den Programmkomitees von über dreißig internationalen Konferenzen gearbeitet. Er hat vier Bücher geschrieben bzw. herausgegeben und fast 100 begutachtete Fachartikel veröffentlicht.

[Bearbeiten] Akademische Karriere

Michael Kohlhase erhielt 1989 ein Diplom in Mathematik an der Universität Bonn und wurde an der Universität des Saarlandes 1994 in Informatik promoviert und 1999 habilitiert. Im Verlauf seiner Doktorarbeit und späteren Forschung absolvierte er Forschungsaufenthalte an der Carnegie Mellon University, der Universität von Amsterdam, der Universität Edinburgh und bei SRI International. Von 2000 bis 2003 forschte und lehrte er an der School of Computer Science der Carnegie Mellon University, wo er zum Adjunct Associate Professor ernannt wurde. Im September 2003 wurde er als Professor für Informatik an die International University Bremen (Jacobs University Bremen seit 2007), und 2006 war er Mitgründer des Bremer Labors des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI), wo er Vizedirektor der Gruppe für Sichere Kognitive Systeme ist.

[Bearbeiten] Auszeichnungen und Stipendien

2000

3-jähriges Heisenberg-Stipendium der Deutschen Forschungsgemeinschaft (DFG).

1996

AKI-Dissertationspreis der „Arbeitsgemeinschaft deutscher KI-Institute (AKI)“

1991

Promotionsstipendium der Studienstiftung des deutschen Volkes

1986

Stipendium der Studienstiftung des deutschen Volkes

[Bearbeiten] Forschungsinteressen

Michael Kohlhases aktuelle Forschungsinteressen umfassen Automatisches Beweisen und Wissensrepräsentation für Mathematik, Inferenzbasierte Verfahren zum Natural language processing und Semantik sowie E-Learning.

Ein großer Teil seiner konkreten Arbeit basiert auf Web-Content-Markupsprachen wie MathML, OpenMath, OMDoc und Systemen zur Verwaltung solcher Daten, z.B. Formelsuchmaschinen^[1], semantische Erweiterungen zu LaTeX^[2] oder die Konvertierung alter LaTeX-Dokumente aus dem arXiv^[3].

[Bearbeiten] Veröffentlichungen

(vollständige Liste)

• Michael Kohlhase OMDoc: Open Mathematical Documents [Version 1.2], Springer-Verlag, LNAI 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.

[Bearbeiten] Weblinks

• Michael Kohlhases Homepage an der Jacobs University
• Knowledge Adaptation and Reasoning for Content
• DFKI-Labor Bremen, Sichere Kognitive Systeme
• OpenMath Society
• MathWeb, eine Seite für MKM-Projekte
• Literatur von und über Michael Kohlhase im Katalog der Deutschen Nationalbibliothek

[Bearbeiten] Einzelnachweise

1. ↑ http://search.mathweb.org
2. ↑ http://kwarc.info/projects/stex/
3. ↑ http://kwarc.info/projects/arXMLiv/

Personendaten
NAME	Kohlhase, Michael
KURZBESCHREIBUNG	deutscher Informatiker
GEBURTSDATUM	13. September 1964
GEBURTSORT	Erlangen