Иоганн Маковски
 |
Иоганн А. Маковски | |
|---|---|
 | |
| Рожденный | 12 марта 1948 г. Будапешт , Венгрия |
| Национальность | швейцарский |
| Альма-матер | Швейцарский федеральный технологический институт |
| Известный | Исследования по теории моделей , теории баз данных , логическому программированию , алгоритмам на графах , полиномам на графах . |
| Научная карьера | |
| Поля | Математическая логика , Информатика |
| Учреждения | Технион-Израильский технологический институт |
| Докторантура | Эрнст Шпекер , Ханс Ляухли |
Иоганн (Янош) А. Маковски (родился 12 марта 1948 г.) — натурализованный швейцарский математик венгерского происхождения, работающий в области математической логики и логических основ информатики и комбинаторики . Он учился в ETH Zurich с 1967 по 1973 год. Он был студентом в Цюрихе у Эрнста Шпекера и Ганса Ляухли. [1] по математической логике (диплом по математике и физике, 1971 г., доктор математических наук в 1974 г.), Бено Экмана ( топология и геометрия ) и Фолькера Штрассена (алгоритмика), а также в Варшаве Анджея Мостовского и Витека Марека , где он провел 1972 г. по обмену. Маковски занимал должности приглашенного специалиста в Банаховом центре в Варшаве (Польша), Стэнфордском университете (США), Университете Саймона Фрейзера (Канада), Флорентийском университете (Италия), Массачусетском технологическом институте (США), Лозаннском университете и ETH Цюриха (Швейцария). Он занимал постоянные должности в Свободном университете Берлина и Израильском технологическом институте Технион (Хайфа, Израиль), где был профессором. [2]
Среди его различных вкладов:
- В теории моделей — решение двух открытых проблем теории категоричности и исследование логик с различными свойствами интерполяции и компактности (частично с Сахароном Шелахом и Джонатаном Стави).
- В теории баз данных — первый результат неразрешимости проблемы последствий для зависимостей баз данных (совместно с Ашоком Чандрой и Гарри Льюисом ), его работа по объединению модели сущность-связь и реляционной модели баз данных (совместно с Виктором Марковицем ), а также его работа над Бойсом- Нормальная форма Кодда (с Э.В. Равве).
- В логическом программировании — его фундаментальные исследования формул Хорна и их сложности (частично с Б. Маром и А. Итаи)
- В графовых алгоритмах его объединяющий подход к ширине дерева и ширине клики через теорию моделей, ведущий к общей теории полиномов графов и их определимости в различных логических формализмах (частично с И. Авербушем, Бруно Курселем , Б. Годлином, Т. Котек, У. Ротикс и Борис Зильбер ).
Маковски был одним из основателей Европейской ассоциации компьютерной логики в 1992 году, ее вице-президентом (2002–2004) и президентом (2004–2009), а также был членом исполнительного совета EACSL до 2014 года. [3] Во время своего президентства он учредил премию EACSL Акермана за выдающиеся докторские диссертации в области компьютерной логики. В 2008 году мероприятие, посвященное Маковскому в честь его 60-летия, было совмещено с ежегодным собранием EACSL. [4]
С 2016 года он является почетным профессором факультета компьютерных наук Техниона и продолжает свои исследования, преподавание и руководство аспирантами.
Ссылки
[ редактировать ]- ^ Иоганн Андреас Маковски в проекте «Математическая генеалогия»
- ^ «Справочник с дополнительной информацией | Факультет | Факультет компьютерных наук Тауба, Технион» . Cs.technion.ac.il . Проверено 15 февраля 2022 г.
- ^ «ЕАКСЛ» . Архивировано из оригинала 8 августа 2014 г. Проверено 8 августа 2014 г.
- ^ «ЦСЛ 2008» . Архивировано из оригинала 22 мая 2013 г. Проверено 8 августа 2014 г.
Внешние ссылки
[ редактировать ]- Официальный сайт
- Иоганн А. Маковски на DBLP библиографическом сервере
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |