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]