Johann Makowsky

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
Johann A. Makowsky
Johann Makowsky.jpg
Born (1948-03-12) March 12, 1948 (age 70)
Hungary
Nationality Switzerland
Alma mater Swiss Federal Institute of Technology
Known for Studies in model theory, database theory, logic programming, graph algorithms, graph polynomials
Scientific career
Fields Mathematical logic, Computer science
Institutions Technion-Israel Institute of Technology
Doctoral advisor Ernst Specker, Hans Läuchli

Johann (János) A. Makowsky (born March 12, 1948 in Budapest) is a Hungarian born and naturalized Swiss mathematician who works in mathematical logic and the logical foundations of computer science and combinatorics. He studied at the Swiss Federal Institute of Technology from 1967-73. He was a student in Zürich of E. Specker and H. Läuchli[1] in mathematical logic, (Diploma in Mathematics and Physics 1971, Dr. math.sc. in 1974), of B. Eckmann (Topology and Geometry) and V. Strassen (Algorithmics), and in Warsaw of A. Mostowski and W. Marek, where he spent 1972 as an exchange student. Makowsky held visiting positions at Banach Center in Warsaw (Poland), Stanford University (USA), Simon Fraser University (Canada), University of Florence (Italy), MIT (USA), Lausanne University and ETH Zurich (Switzerland). He held regular positions at the Free University of Berlin and the Technion - Israel Institute of Technology (Haifa, Israel) where he is a full professor.[2]

Among his various contributions it is worth mentioning:

Makowsky was a founding member of the European Association of Computer Science Logic in 1992, its vice-president (2002-2004) and president (2004-2009), and was a member of EACSL's executive council till 2014.[3] During his presidency he established the EACSL Ackermann Award for outstanding PhD theses in computer science logic. In 2008, an event dedicated to Makowsky on his 60th birthday was co-located with the annual meeting of the EACSL.[4]

References[edit]

External links[edit]