Математическая логика и ее приложение к основам информатики определяют карьеру Йохана А. Маковски. Родившись в Венгрии в 1948 году и позже получив швейцарское гражданство, он прошел строгую академическую подготовку в Высшей технической школе Цюриха (ETH Zurich). Его профессиональный путь пролегал через международные исследовательские центры, оказав влияние на такие области, как теория моделей, алгоритмы на графах, сложность баз данных и логическое программирование.
Академическое становление
Маковски поступил в ETH Zurich в 1967 году и завершил учебу в 1971 году. Под руководством Эрнста Шпекера и Ханса Лёйхли он заложил фундамент в области математической логики. Его образование вышло за пределы Швейцарии: 1972 год он провел в Варшаве, работая с Анджеем Мостовским и Витеком Мареком. Он также слушал лекции Бену Экманна по топологии и геометрии, а также Фолькера Штрассена по алгоритмике, и в 1974 году защитил степень доктора математических наук (Dr. math.sc.).
Исследования и профессиональная деятельность
Его карьера включает множество приглашенных профессорских должностей в мировых институтах, включая Стэнфордский университет, Университет Саймона Фрейзера, Флорентийский университет и Лозаннский университет. Он занимал постоянные академические должности в Свободном университете Берлина и в Технионе — Израильском технологическом институте в Хайфе, где работал в качестве ординарного профессора. С 2016 года он носит звание почетного профессора (Professor Emeritus) в Технионе, продолжая заниматься исследованиями и руководством аспирантами.
Вклад в логику и вычисления
Маковски получил значительные результаты в теории моделей, в частности в отношении теории категоричности, а также свойств интерполяции и компактности совместно с Сахароном Шелахом и Джонатаном Стави. Его работы по теории баз данных определили первые результаты неразрешимости для проблем следствия, связанных с зависимостями, совместно с Ашоком Чандрой и Гарри Льюисом. Кроме того, он участвовал в унификации моделей «сущность-связь» с реляционными моделями и изучал сложность формул Хорна.
Теория графов и профессиональная деятельность
В области алгоритмов на графах он разработал модель-теоретический подход к ширине дерева (tree-width) и ширине клики (clique-width). Это исследование внесло вклад в общую теорию полиномов графов и их определимости в рамках логических формализмов. Помимо технических исследований, в 1992 году он стал членом-основателем Европейской ассоциации логики в информатике (EACSL). С 2002 по 2004 год он занимал должность вице-президента организации, а с 2004 по 2009 год — президента, во время которого учредил премию Аккермана (Ackermann Award).
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Краткие факты
- Рождение: 1948 год, Венгрия - Гражданство: Швейцария - Образование: ETH Zurich - Основные области: Математика, информатика, логика - Академический статус: Почетный профессор, Технион - Профессиональное членство: Европейская ассоциация логики в информатике
Вопросы читателей
### Где Йохан Маковски получил докторскую степень?
Он получил степень доктора математических наук (Dr. math.sc.) в ETH Zurich в 1974 году.
### Какую конкретную премию учредил Маковски во время работы в EACSL?
Он учредил премию Аккермана EACSL, которая присуждается за выдающиеся кандидатские диссертации в области логики информатики.
### Активен ли Йохан Маковски в академических кругах в настоящее время?
Да, он продолжает активную деятельность в качестве почетного профессора в Технионе, где преподает и руководит аспирантами.
