TU Wien Informatics

20 Years

Model Theory in Computer Science

  • 2016-06-07
  • Research
  • Doctoral School

Recurrent themes and some lessons learned, talk by Prof. Johann A. Makowsky, Technion - Israel Institute of Technology

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

Speakers

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.

Note: This is one of the thousands of items we imported from the old website. We’re in the process of reviewing each and every one, but if you notice something strange about this particular one, please let us know. — Thanks!