Michael Kohlhase - Michael Kohlhase - Wikipedia

Nesmí být zaměňována s Michael Kohlhaas.
Michael Kohlhase
MichaelKohlhaseExplainsNestedWorkingCopies.jpg
narozený (1964-09-13) 13. září 1964 (věk 56)
Erlangen, Německo
NárodnostNěmec
Alma materSárská univerzita
Známý jakoOMDoc
Vědecká kariéra
PoleMatematika, Počítačová věda
TezeMechanizace tříděné logiky vyšších řádů na základě principu řešení (1994)
Doktorský poradceJörg Siekmann

Michael Kohlhase (narozen 13. září 1964 v Erlangen ) je Němec počítačový vědec a profesor na Univerzita Erlangen – Norimberk, kde je vedoucím výzkumné skupiny KWARC (Adaptace znalostí a odůvodnění obsahu).[1]

Akademické pozice

Michael Kohlhase je prezidentem OpenMath Společnost a správce zájmové skupiny pro Správa matematických znalostí (MKM). Byl správcem Konference o automatizovaném odpočtu a CALCULEMUS Zájmová skupina. Byl předsedou konference CADE -21 a programový předseda KI -2006, MKM -2005 a CALCULEMUS -2 000 konferencí a působil v programových výborech více než tří desítek mezinárodních konferencí. Bohlhase je mimořádným docentem na Univerzita Carnegie Mellon a byl (2006–2008) zástupcem ředitele Katedry bezpečných a zabezpečených kognitivních systémů v Německé výzkumné středisko pro umělou inteligenci (DFKI) Laboratoř Brémy.

V roce 2014 se stal členem Globální knihovna digitální matematiky Pracovní skupina [2] z IMU.

Akademická kariéra

Michael Kohlhase získal titul v Matematika (1989) z University of Bonn, doktorát (1994) a habilitace (1999) v Počítačová věda na Sárská univerzita. Ve svém doktorském a postdoktorandském výzkumu se věnoval na rozsáhlých výzkumných návštěvách na Univerzita Carnegie Mellon,University of Amsterdam, University of Edinburgh, a SRI International. V letech 2000–2003 prováděl výzkum a pedagogickou činnost na Fakultě informatiky Univerzita Carnegie Mellon, kde byl jmenován docentem. V září 2003 byl jmenován profesorem informatiky na Jacobs University Bremen (Mezinárodní univerzita Brémy do roku 2007) a v letech 2006–2008 byl zástupcem ředitele Katedry bezpečných a zabezpečených kognitivních systémů Německé výzkumné středisko pro umělou inteligenci (DFKI) Brémy. Od září 2016 je profesorem pro reprezentaci a zpracování znalostí na univerzitě v Erlangenu – Norimberku.

Je autorem nebo editoval čtyři knihy a publikoval téměř 100 recenzovaných článků.

Ocenění a stipendia

2000
3letá Heisenberg-Stipend of the Deutsche Forschungsgemeinschaft (DFG).
1996
Cena AKI, cena disertační práce „Institutu Arbeitsgemeinschaft deutscher KI (AKI)“
1991
stipendium disertační práce Studienstiftung (Německá národní akademická nadace)
1986
magisterské stipendium Studienstiftung

Zájmy výzkumu

Michael Kohlhase vysvětluje sémantické vyhledávání engine MathWebSearch

Mezi současné výzkumné zájmy Michaela Kohlhase patří Automatizované dokazování věty a reprezentace znalostí pro matematika, odvození techniky založené na zpracování přirozeného jazyka a sémantika, a počítačově podporované vzdělávání.

Velká část jeho konkrétní práce je založena na webových značkovacích formátech obsahu, jako je MathML, OpenMath, a OMDoc a systémy pro správu těchto údajů, např. sémantické vyhledávání motory pro matematické vzorce,[3] sémantická rozšíření do Latex,[4] nebo převod starších dokumentů LaTeXu z arXiv.[5]

Bibliografie

vidět úplnější bibliografie

  • Michael Kohlhase OMDoc: Open Mathematical Documents [Verze 1.2]Springer Verlag, LNAI 4180, 2006.
  • Christian Freksa, Michael Kohlhase, Kerstin Schill (eds.): 29. výroční německá konference o umělé inteligenci, KI 2006, LNAI 4314, Springer Verlag, 2006.
  • Michael Kohlhase (ed.): Správa matematických znalostí, 4. mezinárodní konference, MKM 2005, Lecture Notes in Artificial Intelligence 3863, Springer Verlag, 2005.
  • Manfred Kerber, Michael Kohlhase: Symbolický výpočet a automatické uvažování, sborník ze sympozia CALCULEMUS-2000, AKPeters, Boston 2001.

V roce 2006 se Michael Kohlhase zařadil na 8126 v CiteSeer Seznam nejcitovanějších autorů informatiky s 305 citacemi.[6]

Reference

  1. ^ „Prof. Dr. Michael Kohlhase · KWARC“.
  2. ^ „Pracovní skupina Globální knihovna digitální matematiky“. Archivovány od originál dne 2017-09-21. Citováno 2015-01-22.
  3. ^ MathWeb Search - sémantický vyhledávač Archivováno 26. 11. 2014 na Wayback Machine
  4. ^ „sTeX: Sémanticky vylepšený TeX“. Archivovány od originál dne 12.9.2007. Citováno 2008-01-20.
  5. ^ "arXMLiv: Překlad arXiv do XML + MathML". Archivovány od originál dne 09.02.2008. Citováno 2008-01-20.
  6. ^ Nejlepší 10 000 citovaných autorů v oboru výpočetní techniky - srpen 2006

externí odkazy