johann makowsky


Johann (János) A. Makowsky (nacido el 12 de marzo de 1948 en Budapest ) es un matemático suizo naturalizado y 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 el Instituto Federal Suizo de Tecnología de 1967 a 1973. Fue alumno en Zürich de E. Specker y H. Läuchli [1] en lógica matemática, (Diploma en Matemáticas y Física 1971, Dr. math.sc. en 1974), de B. Eckmann ( Topología y Geometría ) y V Strassen (Algorítmica), y enVarsovia de A. Mostowski y W. Marek , donde pasa 1972 como estudiante de intercambio. Makowsky ocupó cargos de visitante en el Centro Banach en 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 ETH Zurich (Suiza). Ocupó cargos regulares en la Universidad Libre de Berlín y en el Technion - Instituto de Tecnología de Israel (Haifa, Israel) donde fue profesor titular. [2]

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 estableció el Premio EACSL Ackermann para tesis doctorales sobresalientes en lógica informática. En 2008, un evento dedicado a Makowsky en su 60 cumpleaños coincidió con la reunión anual de la EACSL. [4]

Desde 2016 es profesor emérito de la Facultad de Ciencias de la Computación en Technion, y continúa investigando, enseñando y supervisando a estudiantes de posgrado.