Informatics, TU Vienna

Model Theory in Computer Science

Recurrent themes and some lessons learned

Abstract

I give an updated version of my talk given at CSL-2011 (retiring EACSL-president's address) with the same title.

I describe my research from hard core model theory to soft model theory and my transition to logic for computer science and then to logic applied to combinatorics in a leasurely way. I also add some lessons I learned about research, human memory, and science as a cultural system. It is planned for a wide audience.

Biography

Johann A. Makowsky is a distinguished mathematician working in mathematical logic and the logical foundations of computer science and
combinatorics. He studied at the Swiss Federal Institute of Technologyfrom 1967-73 and held visiting positions at the Banach Center in Warsaw, Stanford University, Simon Fraser University (Canada), University of Florence, MIT, Lausanne University, and ETH Zurich. Prof. Makowsky is full professor at the Technion in Haifa.

Prof. 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 until 2014.

His research includes contributions in model theory, database theory, and logic programming.

Note

The lecture series on research talks by the visiting professors of the PhD School can also be credited as an elective course for students of master programs of computer science: https://tiss.tuwien.ac.at/course/courseDetails.xhtml?windowId=648&courseNr=195072&semester=2016S