Distinguished Lectures by Turing Award Recipient, Professor Edmund M. Clarke

Distinguished Lectures by Turing Award Recipient,  Professor Edmund M. ClarkeProfessor Edmund M. Clarke of Carnegie Mellon University, Turing Award receipient, will visit the Computer Science Department at the Technion during May 17-26 2009 and will give a series of distinguished lectures:

"Model Checking: My 27-year Quest to Overcome the State Explosion Problem"
Wednesday, May 20, 13:00-14:00, Taub 2
The lecture is suitable for general audience

"The Birth of Model Checking"
Thursday, May 21, 14:30-15:30, Room 337 Taub Bld.
The lecture is suitable to CS Faculty and students as well as to interested parties

"Back to the Future in Formal Verification"
Sunday, May 24, 10:00-10:40, Room 337 Taub Bld.
The lecture is suitable to CS Faculty and students as well as to interested parties

All lectures are open to the public.

More details and program.

Back to the news index Thursday, March 26, 2009