WikiDer > Иоганн Маковски
Иоганн А. Маковски | |
|---|---|
 | |
| Родившийся | 12 марта 1948 г. Венгрия |
| Национальность | Швейцария |
| Альма-матер | Швейцарский федеральный технологический институт |
| Известен | Исследования в теория моделей, теория баз данных, логическое программирование, графовые алгоритмы, многочлены графа |
| Научная карьера | |
| Поля | Математическая логика, Информатика |
| Учреждения | Технион-Израильский технологический институт |
| Докторант | Эрнст Шпекер, Ханс Лаухли |
Иоганн (Янош) А. Маковски (родился 12 марта 1948 г. в г. Будапешт) - венгерский натурализованный швейцарский математик, работающий в математическая логика и логические основы Информатика и комбинаторика. Учился в Швейцарский федеральный технологический институт с 1967-73. Он был студентом в Цюрих из Э. Спекер и Х. Лаухли[1] по математической логике (диплом по математике и физике 1971 г., доктор математических наук в 1974 г.), Б. Экманн (Топология и Геометрия) и В. Штрассен (Алгоритмика), а в Варшава из А. Мостовский и В. Марек, где он провел 1972 г. по обмену. Маковский занимал должности в банахском центре в Варшаве (Польша), Стэндфордский Университет (СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ), Университет Саймона Фрейзера (Канада), Университет Флоренции (Италия), Массачусетский технологический институт (СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ), Лозаннский университет и ETH Цюрих (Швейцария). Он занимал постоянные должности в Свободный университет Берлина и Технион - Израильский технологический институт (Хайфа, Израиль), где он был профессором.[2]
Среди его различных работ стоит упомянуть:
- В теория моделей, решение двух открытых проблем в теория категоричности и его изучение логики с различными интерполяция и компактность свойства (частично с С. Шелах и Дж. Стави).
- В теория баз данных, первый результат неразрешимости проблемы следствия для зависимости базы данных (с А. Чандра и Х. Льюис), его творчество объединяет Модель сущности-отношения и реляционная модель баз данных (с В. Марковиц), и его работа над Нормальная форма Бойса Кодда (совместно с Э.В.Равве).
- В логическое программирование, его фундаментальные исследования Формулы рожка и их сложность (частично с Б. Мар и А. Итаи)
- В графовые алгоритмы, его объединяющий подход к ширина дерева и ширина клики через теорию моделей, что привело к общей теории многочленов графов и их определимости в различных логических формализмах (частично с И. Авербушем, Б. Курсель, Б. Годлин, Т. Котек, У. Ротикс и Б. Зильбер).
Маковски был одним из основателей Европейская ассоциация логики компьютерных наук в 1992 г. - вице-президент (2002-2004 гг.) и президент (2004-2009 гг.), а до 2014 г. был членом исполнительного совета EACSL.[3] Во время своего президентства он учредил премию EACSL Ackermann Award за выдающиеся кандидатские диссертации по компьютерной логике. В 2008 году мероприятие, посвященное 60-летию Маковски, было совмещено с ежегодным собранием EACSL.[4]
С 2016 года он является почетным профессором факультета компьютерных наук Техниона и продолжает свои исследования, преподавание и наблюдение за аспирантами.
Рекомендации
внешняя ссылка
- Официальный веб-сайт
- Иоганн А. Маковски в DBLP Сервер библиографии