Next week there will be two Turing award winners visiting UVa and giving public talks.
Monday, 29 March, MEC 205 (CHANGE IN VENUE), 3:30pm
Edmund Clarke, Carnegie Mellon University
Model Checking: My 27 year Quest to Overcome the State Explosion Problem
Thursday, 1 April, Chemistry Auditorium, 2:00pm
Barbara Liskov, MIT
Security of Internet Storage
Note that Thursday’s talk is during our scheduled class time. Students should attend Prof. Liskov’s talk (and expect to have questions on the exam based on her talk).