Майкл Кольхазе

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

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

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

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

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

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

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

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

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

2000: Трехлетняя стипендия Гейзенберга Немецкого исследовательского фонда (DFG).
1996: Премия AKI, диссертационная премия «Ассоциации немецких институтов искусственного интеллекта (AKI)».
1991: стипендия на диссертацию Studienstiftung ( Немецкого национального академического фонда)
1986: стипендия магистра от Studienstiftung

Научные интересы

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

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

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

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

посмотреть более полную библиографию

Майкл Кольхазе OMDoc: Открытые математические документы [Версия 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]

Ссылки

^ «Профессор доктор Михаэль Кольхазе · KWARC» .
^ «Рабочая группа Глобальной библиотеки цифровой математики» . Архивировано из оригинала 21 сентября 2017 г. Проверено 22 января 2015 г.
^ MathWeb Search - семантическая поисковая система, заархивировано 26 ноября 2014 г. на Wayback Machine.
^ «sTeX: семантически расширенный TeX» . Архивировано из оригинала 12 сентября 2007 г. Проверено 20 января 2008 г.
^ «arXMLiv: перевод arXiv в XML+MathML» . Архивировано из оригинала 9 февраля 2008 г. Проверено 20 января 2008 г.
^ 10 000 самых цитируемых авторов в области компьютерных наук - август 2006 г.

Внешние ссылки

[1] «Профессор доктор Михаэль Кольхазе · KWARC» .

[2] «Рабочая группа Глобальной библиотеки цифровой математики» . Архивировано из оригинала 21 сентября 2017 г. Проверено 22 января 2015 г.

[3] MathWeb Search - семантическая поисковая система, заархивировано 26 ноября 2014 г. на Wayback Machine.

[4] «sTeX: семантически расширенный TeX» . Архивировано из оригинала 12 сентября 2007 г. Проверено 20 января 2008 г.

[5] «arXMLiv: перевод arXiv в XML+MathML» . Архивировано из оригинала 9 февраля 2008 г. Проверено 20 января 2008 г.

[6] 10 000 самых цитируемых авторов в области компьютерных наук - август 2006 г.

[1]

[2]

[3]

[4]

[5]

[6]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Франция Данные БНФ Германия Израиль Соединенные Штаты Чешская Республика Нидерланды
академики	Ассоциация вычислительной техники ДБЛП Google Академика MathSciNet Проект математической генеалогии ОРЦИД Скопус zbMATH