OMSCS 2024 Turing Award Speaker Series

Nachum Dershowitz is the incumbent of the Chair in Computational Logic at Tel Aviv University, where he has been since 1998. He is the author of numerous books and articles. His graduate degrees in applied mathematics are from the Weizmann Institute of Science.

He is the area editor for the Journal of the ACM. He has received the Herbrand Award for Distinguished Contributions to Automated Reasoning (2011), the Logic in Computer Science Test-of-Time Award (2006), the Rewriting Techniques and Applications Test-of-Time Award (2014), and the Thoralf Skolem Award (2015). He was elected to Academia Europaea in 2013.

This is a virtual event. RSVPing guarantees that you receive a Teams link before the call starts.

The Turing Award, often referred to as the 'Nobel Prize of Computing,' is an annual award given by the Association for Computing Machinery (ACM) to individuals for their contributions of lasting and significant technical importance to the computing field.