Кольхазе, Михаэль
Михаэль Кольхазе
- Дата рождения
- 13 сентября 1964 года
- Род деятельности
- учёный в области информатики
Михаэ́ль Кольха́зе (нем. Michael Kohlhase; [Нет даты!]) — немецкий учёный в области информатики и профессор Университета Эрлангена — Нюрнберга, где возглавляет исследовательскую группу KWARC (Knowledge Adaptation and Reasoning for Content)[1]. Известен работами в области автоматического доказательства теорем, представления математических знаний и разработкой формата OMDoc.
Биография[править]
Михаэль Кольхазе является президентом общества OpenMath и попечителем группы по интересам в области управления математическими знаниями (MKM). Был попечителем Конференции по автоматическому выводу (CADE) и группы по интересам CALCULEMUS. Занимал должность председателя конференции CADE-21, а также председателя программных комитетов конференций KI-2006, MKM-2005 и CALCULEMUS-2000. Входил в состав программных комитетов более трёх десятков международных конференций.
Кольхазе занимает должность адъюнкт-доцента в Университете Карнеги — Меллона. В 2006—2008 годах был заместителем директора отдела безопасных и надёжных когнитивных систем в лаборатории Немецкого исследовательского центра искусственного интеллекта (DFKI) в Бремене.
В 2014 году стал членом рабочей группы Глобальной цифровой математической библиотеки (GDML) при Международном математическом союзе (IMU)[2].
Академическая карьера[править]
Михаэль Кольхазе получил диплом по математике в Боннском университете в 1989 году. В Саарском университете защитил докторскую диссертацию (1994) и прошёл хабилитацию (1999) по информатике. Проводил докторские и постдокторские исследования во время длительных визитов в Университет Карнеги — Меллона, Амстердамский университет, Эдинбургский университет и SRI International. С 2000 по 2003 год занимался исследованиями и преподавал в Школе информатики Университета Карнеги — Меллона, где был назначен адъюнкт-доцентом. В сентябре 2003 года стал профессором информатики в Университете Якобса в Бремене (до 2007 года — Международный университет Бремена). С 2006 по 2008 год работал заместителем директора отдела безопасных и надёжных когнитивных систем Немецкого исследовательского центра искусственного интеллекта (DFKI) в Бремене. С сентября 2016 года занимает должность профессора по представлению и обработке знаний в Университете Эрлангена — Нюрнберга.
Является автором или редактором четырёх книг и опубликовал почти 100 рецензируемых статей.
Награды и стипендии[править]
- 2000: трёхлетняя стипендия Гейзенберга от Немецкого научно-исследовательского общества (DFG).
- 1996: премия AKI, премия за диссертацию от «Arbeitsgemeinschaft deutscher KI-Institute (AKI)».
- 1991: стипендия для написания диссертации от Студенческого фонда немецкого народа (Studienstiftung).
- 1986: магистерская стипендия от Студенческого фонда немецкого народа.
Научные интересы[править]
Текущие научные интересы Михаэля Кольхазе включают автоматическое доказательство теорем и представление знаний для математики, методы на основе вывода для обработки естественного языка и лингвистической семантики, а также компьютерное обучение.
Значительная часть его работы основана на веб-форматах разметки контента, таких как MathML, OpenMath и OMDoc, а также на системах управления этими данными. К ним относятся системы семантического поиска математических формул[3], семантические расширения для LaTeX[4] и конвертация старых документов LaTeX из arXiv[5].
Примечания[править]
- ↑ Prof. Dr. Michael Kohlhase · KWARC. Проверено 12 августа 2026.
- ↑ The Global Digital Mathematics Library Working Group. Архивировано из первоисточника 21 сентября 2017. Проверено 12 августа 2026.
- ↑ MathWeb Search - A Semantic Search Engine. Архивировано из первоисточника 26 ноября 2014. Проверено 12 августа 2026.
- ↑ sTeX: Semantically Enhanced TeX. Архивировано из первоисточника 12 сентября 2007.[недоступная ссылка] Проверено 20 января 2008.
- ↑ arXMLiv: Translating the arXiv to XML+MathML. Архивировано из первоисточника 9 февраля 2008. Проверено 12 августа 2026.
Литература[править]
- Michael Kohlhase OMDoc: Open Mathematical Documents [Version 1.2], Springer Verlag, LNAI 4180, 2006.
- Christian Freksa, Michael Kohlhase, Kerstin Schill (eds.): The 29th Annual German Conference on Artificial Intelligence, KI 2006, LNAI 4314, Springer Verlag, 2006.
- Michael Kohlhase (ed.): Mathematical Knowledge Management, 4th International Conference, MKM 2005, Lecture Notes in Artificial Intelligence 3863, Springer Verlag, 2005.
- Manfred Kerber, Michael Kohlhase: Symbolic Computation and Automated Reasoning, Proceedings of the CALCULEMUS-2000 Symposium, AKPeters, Boston 2001.
Ссылки[править]
- Сайт Михаэля Кольхазе в Университете Эрлангена — Нюрнберга
- Knowledge Adaptation and Reasoning for Content
- Лаборатория DFKI в Бремене, безопасные и надёжные когнитивные системы
- Общество OpenMath
- MathWeb, сайт для проектов, связанных с MKM
- Михаэль Кольхазе на сайте Математической генеалогии
- Публикации на DBLP
 | Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Кольхазе, Михаэль», расположенная по адресу:
Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?». |
|---|