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
TIME:12:00 s.t.
VENUE:TU Wien, Kontaktraum, Gußhausstraße 25 – 27, 6. Floor

This instance of the LogicLounge was  in memoriam Helmut Veith, the initiator of the LogicLounge discussion series. The topic of the event honored Helmut Veith´s contributions to the education of numerous young researchers. Helmut Veith (1971-2016) was passionate about improving education in logic and computer science. Master program on Logic and Computation and doctoral college on Logical Methods in Computer Science – LogiCS were established under his guidance.

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. 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. Veith, who initiated LogicLounge together with Oliver Lehmann in a format of an hourly discussion where the renowned scientists from the fields of logic, computer science and philosophy and the general public meets and builds bridges, recognizing the social embeddedness of information technology in post-modern societies.


Michael Huth and Janos Makowsky discussed the discrepancy  between the needs for formal reasoning in practical application and largely historically motivated curricula of teaching logic in computer science. The panelist offered some proposals on how to break the teaching tradition, which is keeping the parts without the vision of the whole. The discussion was moderated by Laura Kovács.

About the speakers

Michael Huth is Professor of Computer Science 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.

Helmut Veith Symposium

This LogicLounge marks an end of the Helmut Veith Symposium.

Past LogicLounges

Past LogicLounge discussions


On Flickr CC BY 4.0.

Comments are closed.