Разработка OMDoc предоставляет структурированную основу для представления математических знаний, что является значительным вкладом немецкого компьютерного ученого Михаэля Кольхазе (Michael Kohlhase). Родился в Эрлангене в 1964 году, он посвятил свою профессиональную карьеру пересечению математики и искусственного интеллекта, сосредоточившись на том, как вычислительные системы обрабатывают, хранят и проверяют сложные логические структуры.
Академический фундамент
Михаэль Кольхазе получил степень по математике в Боннском университете в 1989 году. Впоследствии он перешел в Саарский университет для углубленного изучения компьютерных наук, получив докторскую степень в 1994 году и завершив хабилитацию в 1999 году. В этот период он участвовал в обширных исследовательских визитах в несколько международных учреждений, включая Университет Карнеги-Меллона, Амстердамский университет, Эдинбургский университет и SRI International.
Исследования и вычислительный вклад
Его основные исследовательские интересы связаны с автоматическим доказательством теорем и разработкой систем представления знаний для математики. Большая часть его работы использует веб-форматы разметки контента, такие как MathML, OpenMath и OMDoc. Он также фокусируется на методах, основанных на логическом выводе, для обработки естественного языка и компьютерного обучения. Его практические приложения включают создание семантических поисковых систем для математических формул и создание семантических расширений для LaTeX, включая инструменты для преобразования устаревших документов из arXiv.
Институциональные назначения
Кольхазе занимал многочисленные академические и административные должности на протяжении своей карьеры. В период с 2000 по 2003 год он проводил исследования и преподавал в Школе компьютерных наук Университета Карнеги-Меллона, где работал адъюнкт-доцентом. С 2003 по 2006 год он был профессором компьютерных наук в Университете Якобса в Бремене. Одновременно с 2006 по 2008 год он занимал должность заместителя директора Департамента безопасных когнитивных систем в Немецком исследовательском центре искусственного интеллекта в Бремене. В сентябре 2016 года он начал свою работу в качестве профессора представления и обработки знаний в Университете Эрлангена-Нюрнберга, где он также возглавляет исследовательскую группу KWARC.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Профессиональная деятельность
Помимо своих институциональных ролей, Кольхазе внес вклад в более широкое научное сообщество посредством руководства и работы в комитетах. Он является президентом OpenMath Society и попечителем Группы интересов по управлению математическими знаниями. Его прошлые руководящие роли включают работу в качестве председателя конференции CADE-21 и председателя программы конференций KI-2006, MKM-2005 и CALCULEMUS-2000. Он работал в программных комитетах более трех десятков международных конференций и написал или отредактировал четыре книги, а также почти 100 рецензируемых статей.
Краткие факты
- Рождение: 1964, Эрланген, Германия - Образование: Боннский университет (математика), Саарский университет (компьютерные науки) - Текущая должность: Профессор в Университете Эрлангена-Нюрнберга - Исследовательская группа: KWARC (Адаптация знаний и рассуждения для контента) - Значимая работа: OMDoc - Награды: Стипендия Гейзенберга (2000), премия AKI (1996) - Языки: Немецкий, английский
Вопросы читателей
### Каков основной фокус исследований Михаэля Кольхазе?
Его исследования сосредоточены на автоматическом доказательстве теорем, представлении математических знаний и вычислительных системах для управления математическим контентом, такими как OMDoc и OpenMath.
### Где сейчас преподает Михаэль Кольхазе?
Он является профессором представления и обработки знаний в Университете Эрлангена-Нюрнберга.
