マイケル・コールハース

ミヒャエル・コールハーゼ（1964年9月13日、エアランゲン生まれ）はドイツのコンピュータ科学者であり、エアランゲン・ニュルンベルク大学の教授であり、同大学のKWARC研究グループ（コンテンツに対する知識適応と推論）の責任者である。^[1]

学術職

Michael Kohlhase 氏はOpenMath Societyの会長であり、数学知識管理(MKM)の利益団体の理事です。また、自動演繹会議およびCALCULEMUS利益団体の理事でもありました。CADE -21 の会議議長、KI-2006、MKM -2005、CALCULEMUS-2000 会議のプログラム議長を務め、30 を超える国際会議のプログラム委員会で活躍しています。Kohlhase 氏はカーネギーメロン大学の非常勤准教授で、2006 年から 2008 年までドイツ人工知能研究センター(DFKI) ブレーメン研究所の安全でセキュアな認知システム部門の副部長を務めました。

ミヒャエル・コールハーゼは、ボン大学で数学の学位（1989年）、ザールラント大学でコンピュータサイエンスの博士号（1994年）とハビリテーション（1999年）を取得しました。博士課程および博士課程修了後の研究は、カーネギーメロン大学、アムステルダム大学、エディンバラ大学、SRIインターナショナルでの長期研究訪問で行いました。2000年から2003年にかけては、カーネギーメロン大学コンピュータサイエンス学部で研究と教育を行い、同大学の非常勤准教授に任命されました。2003年9月、ブレーメン・ヤコブス大学（2007年まではブレーメン国際大学）のコンピュータサイエンス教授に任命され、2006年から2008年まではブレーメンのドイツ人工知能研究センター（DFKI）の安全でセキュアな認知システム部門の副部門長を務めました。 2016 年 9 月よりエアランゲン・ニュルンベルク大学で知識表現と処理の教授を務めています。

彼は 4 冊の本を執筆または編集し、査読付き論文を 100 本近く出版しています。

彼の具体的な研究の多くは、MathML、OpenMath、OMDocなどのウェブベースのコンテンツマークアップ形式と、数式の意味検索エンジン^[3]、LaTeXの意味拡張^{[4] 、}arXivからのレガシーLaTeX文書の変換など、このデータを管理するシステムに基づいています。^[5]

より完全な参考文献を見る

Michael Kohlhase OMDoc: Open Mathematical Documents [バージョン 1.2]、Springer Verlag、LNAI 4180、2006。
Christian Freksa、Michael Kohlhase、Kerstin Schill (編):第 29 回人工知能に関するドイツ年次会議、KI 2006、LNAI 4314、Springer Verlag、2006。
Michael Kohlhase (編)：数学的知識管理、第 4 回国際会議、MKM 2005、人工知能に関する講義ノート 3863、Springer Verlag、2005 年。
Manfred Kerber、Michael Kohlhase:記号計算と自動推論、CALCULEMUS-2000 シンポジウム議事録、AKPeters、ボストン 2001。

2006年、マイケル・コールハースはCiteSeerの最も引用されたコンピュータサイエンスの著者のリストで305回の引用を獲得し、8126位にランクされました。^[6]

^ “マイケル・コールハーゼ博士・KWARC”.
^ 「The Global Digital Mathematics Library Working Group」。2017年9月21日時点のオリジナルよりアーカイブ。2015年1月22日閲覧。
^ MathWeb Search - セマンティック検索エンジン 2014-11-26 にWayback Machineにアーカイブ
^ 「sTeX: Semantically Enhanced TeX」。2007年9月12日時点のオリジナルよりアーカイブ。2008年1月20日閲覧。
^ 「arXMLiv: arXiv を XML+MathML に変換する」。2008 年 2 月 9 日時点のオリジナルよりアーカイブ。2008年 1 月 20 日閲覧。
^ コンピュータサイエンス分野で引用数トップ 10,000 人の著者 – 2006 年 8 月