https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Michael_KohlhaseMichael Kohlhase - Versionsgeschichte2026-06-07T12:15:57ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Michael_Kohlhase&diff=1231042&oldid=previmported>Mogelzahn: lf2021-04-01T20:16:17Z<p>lf</p>
<p><b>Neue Seite</b></p><div>[[Datei:MichaelKohlhaseExplainsNestedWorkingCopies.jpg|miniatur|Michael Kohlhase]]<br />
'''Michael Kohlhase''' (* [[13. September]] [[1964]] in [[Erlangen]]) ist ein [[deutsche]]r [[Informatiker]] und [[Professor]] an der [[Friedrich-Alexander-Universität Erlangen-Nürnberg]], wo er an der Technischen Fakultät die Forschungsgruppe KWARC ''(Knowledge Adaptation and Reasoning for Content)'' leitet.<br />
<br />
== Leben ==<br />
Michael Kohlhase 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 [[Conference on Automated Deduction|CADE]]-21, Programmleiter der Konferenzen [[German Annual Conference on Artificial Intelligence|KI]]-2006, [[Mathematical Knowledge Management|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 [[Peer-Review|begutachtete]] Fachartikel veröffentlicht.<br />
<br />
Michael Kohlhase ist assoziierter Professor ''(Adjunct Associate Professor)'' an der ''[[Carnegie Mellon University]]'' und war von 2006 bis 2008 Vizedirektor des Forschungsbereichs Sichere [[Kognitives System|Kognitive Systeme]] am [[Bremen|Bremer]] Labor des [[Deutsches Forschungszentrum für Künstliche Intelligenz|Deutschen Forschungszentrum für Künstliche Intelligenz]] (DFKI).<br />
<br />
Michael Kohlhase erhielt 1989 ein Diplom in [[Mathematik]] an der [[Rheinische Friedrich-Wilhelms-Universität Bonn|Universität Bonn]] und wurde an der [[Universität des Saarlandes]] 1994 in [[Informatik]] promoviert und 1999 [[Habilitation|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 [[Stanford Research Institute|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) gerufen, und 2006–2008 war er Vizedirektor der Gruppe für Sichere Kognitive Systeme des Bremer Labors des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI). Im September 2016 wechselte er zur [[Friedrich-Alexander-Universität Erlangen-Nürnberg]].<br />
<br />
Seit 2014 ist er Mitglied der ''Global Digital Mathematical Library Working Group''<ref>{{Webarchiv|url=https://blog.wias-berlin.de/imu-icm-panel-wdml/tag/gdml/ |wayback=20170921095057 |text=''The Global Digital Mathematical Library Working Group'' |archiv-bot=2019-05-01 10:39:01 InternetArchiveBot }}</ref> der [[Internationale Mathematische Union|IMU]].<br />
<br />
== Auszeichnungen und Stipendien ==<br />
* 2000: dreijähriges Heisenberg-Stipendium der [[Deutsche Forschungsgemeinschaft|Deutschen Forschungsgemeinschaft]] (DFG).<br />
* 1996: AKI-Dissertationspreis der „Arbeitsgemeinschaft deutscher KI-Institute (AKI)“<br />
* 1991: Promotionsstipendium der [[Studienstiftung des deutschen Volkes]]<br />
* 1986: Stipendium der [[Studienstiftung des deutschen Volkes]]<br />
<br />
== Forschungsinteressen ==<br />
[[Datei:MichaelKohlhaseExplainsMathWebSearch.jpg|miniatur|right|Michael Kohlhase erklärt die semantische Suchmaschine MathWebSearch]]<br />
<br />
Michael Kohlhases aktuelle Forschungsinteressen umfassen [[Maschinengestütztes Beweisen|automatisches Beweisen]] und [[Wissensrepräsentation]] für [[Mathematik]], [[inferenz]]basierte Verfahren zum ''[[Natural language processing]]'' und [[Semantik]] sowie [[E-Learning]].<br />
<br />
Ein großer Teil seiner konkreten Arbeit basiert auf ''Web-Content''-Markupsprachen wie [[MathML]], [[OpenMath]], [[OMDoc]] und Systemen zur Verwaltung solcher Daten, z.&nbsp;B. Formelsuchmaschinen,<ref>{{Webarchiv|url=http://search.mathweb.org/ |wayback=20141126103552 |text=Archivierte Kopie |archiv-bot=2019-05-01 10:39:01 InternetArchiveBot }}</ref> semantische Erweiterungen zu [[LaTeX]].<ref>{{Webarchiv|url=http://kwarc.info/projects/stex/ |wayback=20070912011857 |text=Archivierte Kopie |archiv-bot=2019-05-01 10:39:01 InternetArchiveBot }}</ref> oder die Konvertierung alter LaTeX-Dokumente aus dem [[arXiv]].<ref>{{Webarchiv|url=http://kwarc.info/projects/arXMLiv/ |wayback=20080209115326 |text=Archivierte Kopie |archiv-bot=2019-05-01 10:39:01 InternetArchiveBot }}</ref><br />
<br />
== Weiterführende Literatur (Auswahl) ==<br />
* Michael Kohlhase ''OMDoc: Open Mathematical Documents [Version 1.2],'' [[Springer Science+Business Media|Springer-Verlag]], LNAI 4180, 2006.<br />
* Christian Freksa, Michael Kohlhase, [[Kerstin Schill]] (Hrsg.): ''The 29th Annual German Conference on Artificial Intelligence, KI 2006,'' LNAI 4314, Springer-Verlag, 2006.<br />
* Michael Kohlhase (Hrsg.): ''Mathematical Knowledge Management, 4th International Conference, MKM 2005,'' Lecture Notes in Artificial Intelligence 3863, Springer-Verlag, 2005.<br />
* Manfred Kerber, Michael Kohlhase: ''Symbolic Computation and Automated Reasoning, Proceedings of the CALCULEMUS-2000 Symposium,'' AKPeters, Boston 2001.<br />
<br />
== Weblinks ==<br />
* [http://kwarc.info/kohlhase Michael Kohlhases Homepage]<br />
* [http://kwarc.info ''Knowledge Adaptation and Reasoning for Content'']<br />
* [http://www.dfki.de/web/research/sks/ DFKI-Labor Bremen, Sichere Kognitive Systeme]<br />
* [http://www.openmath.org ''OpenMath Society'']<br />
* [http://www.mathweb.org MathWeb] – eine Seite für MKM-Projekte<br />
<br />
== Einzelnachweise ==<br />
<references/><br />
<br />
{{Normdaten|TYP=p|GND=1129482057|LCCN=n00009356|VIAF=2721665}}<br />
<br />
{{SORTIERUNG:Kohlhase, Michael}}<br />
[[Kategorie:Informatiker]]<br />
[[Kategorie:Hochschullehrer (Friedrich-Alexander-Universität Erlangen-Nürnberg)]]<br />
[[Kategorie:Deutscher]]<br />
[[Kategorie:Geboren 1964]]<br />
[[Kategorie:Mann]]<br />
<br />
{{Personendaten<br />
|NAME=Kohlhase, Michael<br />
|ALTERNATIVNAMEN=<br />
|KURZBESCHREIBUNG=deutscher Informatiker<br />
|GEBURTSDATUM=13. September 1964<br />
|GEBURTSORT=[[Erlangen]]<br />
|STERBEDATUM=<br />
|STERBEORT=<br />
}}</div>imported>Mogelzahn