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