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 la ETH de Zúrich entre 1967 y 1973. Fue alumno en Zúrich de Ernst Specker y Hans Läuchli [1] en lógica matemática (Diploma 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ó puestos de profesor visitante 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 de Zúrich (Suiza). Ocupó puestos 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 diversas contribuciones se encuentran:
Makowsky fue miembro fundador de la Asociación Europea de Lógica de la Informática en 1992, su vicepresidente (2002-2004) y presidente (2004-2009), y fue miembro del consejo ejecutivo de la EACSL hasta 2014. [3] Durante su presidencia, estableció el Premio Ackermann de la EACSL para tesis doctorales destacadas en lógica de la informática. En 2008, un evento dedicado a Makowsky en su 60 cumpleaños se celebró 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 con su investigación, docencia y supervisión de estudiantes de posgrado.