LogicLounge in Memoriam Helmut Veith. Logic in Computer Science: A Teaching Perspective

Logic in Computer Science: A Teaching Perspective

LogicLounge panel discussion on the need for an update in teaching logic in computer science by Michael Huth and Janos Makowsky.

DATE:Friday, October 6, 2017 – Friday, October 6, 2017
VENUE:TU Wien, Kontaktraum, Gußhausstraße 25 – 27, 6. Floor

The LogicLounge discussion series was initiated during the Vienna Summer of Logic 2014 , attended by more than 2000 computer scientists from all over the world. LogicLounge aims to provide a public forum for exchange on the computer science topics where the public and the scientists build bridges, recognizing the social embeddedness of information technology in post-modern societies. Between the LogicLounges in Heidelberg and Oxford, the upcoming installment on October 6, 2017 will return to its birth place at TU Wien, Vienna in memoriam of its late co-funder Prof. Helmut Veith (1971-2016) who initiated LogicLounge as pop up event open for public together with Oliver Lehmann.


Michael Huth and Janos Makowsky will discuss the discrepancy  between the needs for formal reasoning in practical application and largely historically motivated curricula of teaching logic in computer science. The panelist will offer some proposals on how to break the teaching tradition, which is keeping the parts without the vision of the whole.

About the speakers

Michael Huth is Professor of Computer Science, Director of Research, and Head of the Security Research Group in the Department of Computer Science at Imperial College London. He is a Diplom-Mathematiker (TU Darmstadt, Germany), obtained his PhD in 1991 (Tulane University of Louisiana, USA), was an Assistant Professor at Kansas State University from 1996-2001, and completed several postdoctoral studies in the US, Germany, and the UK on programming language semantics and design, formal verification, and probabilistic modelling.

His present research focuses on Cybersecurity, especially modelling and reasoning about the interplay of trust, security, risk, and economics. Currently funded projects of his include work on confidence building in arms verification and work on Blockchain technology for centrally governed systems such as IoT. He is the Technical Lead of the Theme Harnessing Economic Value in the PETRAS IoT Research Hub funded by UK EPSRC and he is also active as research and product advisor in the London and Berlin Cybersecurity startup scene.

He is the co-author of the book Logic in Computer Science: Modelling and Reasoning about Systems. Huth, Michael and Mark Ryan. 2004. Logic in Computer Science. Modelling and Reasoning about Systems. Cambridge University Press: New York.

Janos Makowsky is a professor at Faculty of Computer Science, Technion – Israel Institute of Technology. He joined the Technion in 1980. He received his PhD in 1974 from the Swiss Federal Institute of Technology (ETH Zürich) in Zurich. From 1975 to 1980, he had a regular position at the Freie Universität Berlin. He has held various visiting positions in the USA, Switzerland, Italy and Poland.

In the past, he worked in mathematical logic and the logical foundations of computer science. His current interests are model theoretic methods in finite combinatorics, counting functions and graph polynomials.

He is the Editor of Mathematical Logic Quarterly, Fundamenta Informaticae and Member of the Advisory Board of Journal Logical Methods in Computer Science. He is also an Area editor for Mathematical Logic, Journal of Applied Logic, and for Algorithms in Logic and Decision Procedures, Journal of Algorithms, in Cognition, Informatics and Logic.

Past LogicLounges

Past LogicLounge discussions

Comments are closed.