News
The Taub Faculty of Computer Science News and Announcements
![Distinguished lecture series by Ed Clarke Distinguished lecture series by Ed Clarke](/images/news/2009/311/preview.jpg)
Prof. Edmund Clarke, the 2007 Turing award recipient, visited the Computer Science Department at the Technion and gave a series of 3 lectures. His lectures attracted faculty, students, and people from Industry.
They described Clarke's achievements in making Model Checking into a central verification technique to hardware and software systems.
[Back to the news index]