Майкл Кольхейз - Michael Kohlhase

Не путать с Майкл Колхас.
Майкл Кольхейз
MichaelKohlhaseExplainsNestedWorkingCopies.jpg
Родившийся (1964-09-13) 13 сентября 1964 г. (56 лет)
Эрланген, Германия
НациональностьНемецкий
Альма-матерСаарский университет
ИзвестенOMDoc
Научная карьера
ПоляМатематика, Информатика
ТезисМеханизация отсортированной логики высшего порядка на основе принципа разрешения (1994)
ДокторантЙорг Зикманн

Майкл Кольхейз (родился 13 сентября 1964 г., в г. Эрланген ) это Немецкий компьютерный ученый и профессор Университет Эрлангена-Нюрнберга, где он возглавляет исследовательскую группу KWARC («Адаптация знаний и обоснование содержания»).[1]

Академические должности

Майкл Кольхейз - президент OpenMath Общество и попечитель группы интересов по Управление математическими знаниями (МКМ). Он был попечителем Конференция по автоматическому вычету и КАЛЬКУЛЕМ Группа по интересам. Он был председателем конференции CADE -21 и программный председатель KI -2006, MKM -2005, и КАЛЬКУЛЕМ 2000 конференций и работал в программных комитетах более чем трех десятков международных конференций. Кольхасе является адъюнкт-профессором в Университет Карнеги Меллон и был (2006–2008) заместителем директора Департамента безопасных и надежных когнитивных систем в Немецкий исследовательский центр искусственного интеллекта (DFKI) Лаборатория Бремен.

В 2014 году он стал членом Глобальная цифровая математическая библиотека Рабочая группа [2] из ИДУ.

Академическая карьера

Майкл Кольхейз получил степень в Математика (1989) из Боннский университет, докторская (1994) и абилитация (1999) в Информатика в Саарский университет. Он проводил свои докторские и постдокторские исследования во время длительных исследовательских визитов в Университет Карнеги Меллон,Амстердамский университет, то Эдинбургский университет, и SRI International. С 2000 по 2003 год он проводил исследования и преподавал в Школе компьютерных наук Университет Карнеги Меллон, где он был назначен адъюнкт-профессором. В сентябре 2003 года он был назначен профессором компьютерных наук в Университет Якобса в Бремене (Международный университет Бремена до 2007 г.), а с 2006 по 2008 гг. Был заместителем директора Департамента безопасных и надежных когнитивных систем Немецкий исследовательский центр искусственного интеллекта (DFKI) Бремен. С сентября 2016 года он занимает должность профессора по представлению и обработке знаний в Университете Эрлангена-Нюрнберга.

Он является автором или редактором четырех книг и опубликовал почти 100 рецензируемых статей.

Награды и стипендии

2000
3-летняя стипендия Гейзенберга Deutsche Forschungsgemeinschaft (DFG).
1996
Премия AKI, премия за диссертацию "Arbeitsgemeinschaft deutscher KI-Institute (AKI)"
1991
стипендия Studienstiftung (Немецкий национальный академический фонд)
1986
стипендия магистров Studienstiftung

Интересы исследования

Майкл Кольхейз объясняет семантический поиск двигатель MathWebSearch

Текущие исследовательские интересы Майкла Кольхейза включают: Автоматическое доказательство теорем и представление знаний за математика, вывод -основанные методы для обработка естественного языка и семантика, и компьютерное обучение.

Большая часть его конкретной работы основана на форматах разметки веб-контента, таких как MathML, OpenMath, и OMDoc и системы для управления этими данными, например семантический поиск движки для математических формул,[3] семантические расширения для Латекс,[4] или преобразование старых документов LaTeX из arXiv.[5]

Библиография

видеть более полная библиография

  • Майкл Кольхейз OMDoc: Open Mathematical Documents [Версия 1.2], Springer Verlag, LNAI 4180, 2006.
  • Кристиан Фрекса, Майкл Кольхасе, Керстин Шилл (ред.): 29-я ежегодная конференция по искусственному интеллекту в Германии, KI 2006 г., LNAI 4314, Springer Verlag, 2006.
  • Майкл Кольхейз (ред.): Управление математическими знаниями, 4-я Международная конференция, MKM 2005, Конспект лекций по искусственному интеллекту 3863, Springer Verlag, 2005.
  • Манфред Кербер, Майкл Кольхейз: Символическое вычисление и автоматическое мышление, Труды симпозиума CALCULEMUS-2000, AKPeters, Бостон 2001.

В 2006 году Майкл Колхейз занял 8126 место в рейтинге CiteSeer Список наиболее цитируемых авторов по информатике, насчитывающий 305 цитирований.[6]

Рекомендации

  1. ^ "Проф. Д-р Майкл Кольхейз · KWARC".
  2. ^ «Рабочая группа Глобальной цифровой математической библиотеки». Архивировано из оригинал на 2017-09-21. Получено 2015-01-22.
  3. ^ MathWeb Search - семантическая поисковая система В архиве 2014-11-26 в Wayback Machine
  4. ^ «sTeX: семантически улучшенный TeX». Архивировано из оригинал на 2007-09-12. Получено 2008-01-20.
  5. ^ "arXMLiv: преобразование arXiv в XML + MathML". Архивировано из оригинал на 2008-02-09. Получено 2008-01-20.
  6. ^ 10 000 самых цитируемых авторов в области компьютерных наук - август 2006 г.

внешняя ссылка