Johann (János) A. Makowsky (nacido el 12 de marzo de 1948) es un matemático suizo naturalizado nacido en Hungría que trabaja en lógica matemática y los fundamentos lógicos de la informática y la combinatoria . Estudió en ETH Zurich de 1967 a 1973. Fue alumno en Zúrich de Ernst Specker y Hans Läuchli [1] en lógica matemática (Diplomado en Matemáticas y Física 1971, Dr. math.sc. en 1974), de Beno Eckmann ( Topología y Geometría ) y Volker Strassen (Algorítmica). ), y en Varsovia de Andrzej Mostowski y Witek Marek , donde pasó 1972 como estudiante de intercambio. Makowsky ocupó cargos visitantes en el Centro Banach de Varsovia (Polonia), la Universidad de Stanford (EE.UU.), la Universidad Simon Fraser (Canadá), la Universidad de Florencia (Italia), el MIT (EE.UU.), la Universidad de Lausana y la ETH Zurich (Suiza). Ocupó cargos regulares en la Universidad Libre de Berlín y en el Technion – Instituto Tecnológico de Israel (Haifa, Israel) donde fue profesor titular. [2]
Entre sus diversos aportes se encuentran:
Makowsky fue miembro fundador de la Asociación Europea de Lógica Informática en 1992, su vicepresidente (2002-2004) y presidente (2004-2009), y fue miembro del consejo ejecutivo de EACSL hasta 2014. [3] Durante su presidencia Creó el Premio EACSL Ackermann para tesis doctorales destacadas en lógica informática. En 2008, un evento dedicado a Makowsky en su 60 cumpleaños tuvo lugar junto con la reunión anual de la EACSL. [4]
Desde 2016, es profesor emérito de la Facultad de Ciencias de la Computación del Technion y continúa su investigación, enseñanza y supervisión de estudiantes de posgrado.