Moshe Vardi: “And Logic Begat Computer Science: When Giants Roamed the Earth”

Moshe VardiDuring the past fifty years there has been extensive, continuous, and growing interaction between logic and computer science. In fact, logic has been called “the calculus of computer science”.

This non-technical talk held at TU Vienna provided an overview of the unusual effectiveness of logic in computer science by surveying the history of logic in computer science, going back all the way to Aristotle and Euclid, and showing how logic actually gave rise to computer science.

Moshe Y. Vardi is the George Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology Institute at Rice University. He is the co-recipient of three IBM Outstanding Innovation Awards, the ACM SIGACT Gödel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, and the Blaise Pascal Medal.

Further information is available in the announcements on the faculty’s homepage and the university’s homepage.

Posted in Events, News, Scientific News