Skip to content (access key 's')
Logo of Technion
Logo of CS Department
Logo of CS4People
News

The Taub Faculty of Computer Science News and Announcements

Distinguished lecture series by Ed Clarke
Sunday, May 31, 2009
Distinguished lecture series by Ed ClarkeProf. 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]