Professor 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]