Turing Award Honorees to Lecture at University of Virginia

March 25, 2010 — In the span of four days, the University of Virginia will host lectures by two recent winners of the Turing Award, regarded by many as computer science's equivalent of a Nobel Prize.

The Engineering School's Department of Computer Science will host a presentation by 2007 winner Edmund M. Clarke on March 29 at 3:30 p.m. in the Mechanical Engineering Building, room 205. The event is a part of the department's Distinguished Speaker Series.

Clarke, a 1967 graduate of the University, will discuss model checking as an automatic verification technique for state-transition systems that are finite-state or that have finite-state abstractions.

While the model checking system has been very successful in identifying faulty specifications in complex systems, the technique is vulnerable to what is known as the "state-explosion problem." Clarke will present the progress he has made over the past 27 years in overcoming problems that state-explosion presents to the effective use of model checking. A reception will follow.

For information, click here.

The Association for Computing Machinery's Committee on Women will host a presentation by 2008 Turning winner Barbara Liskov on the "Security of Internet Storage" on April 1 at 2 p.m. in the Chemistry Auditorium.

There are many modern advantages associated with Internet storage as a method of sharing and archiving information. Liskov will highlight these advantages while also examining associated security issues, including the reliability and around-the-clock accessibility of stored information.

Challenges with Internet storage are commonly addressed through replication, in which information on is stored on more than one computer. Liskov will present the problems associated with data replication as well as methods to solve these problems and advance Internet security storage.

For information, click here.