Upcoming Turing Award Winner Talks

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).

Comments are closed.