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