Carnegie Mellon University
May 16, 2012

News Brief: Clarke, Veloso Featured at Turing 100 Celebration

clarkeEdmund M. Clarke and Manuela Veloso, professors of computer science, are among the distinguished scientists invited to give talks at The Alan Turing Centenary Conference, June 22-24 in Manchester, England. The conference hosted by the University of Manchester celebrates Turing, one of the most influential computer scientists of all time, on what would have been his 100th birthday. The conference is one of a series of Alan Turing Year events.

VelosoClarke, a pioneer in Model Checking, an automated technique for verifying hardware and software designs, shared the 2007 Turing Award, the highest honor in computer science. He is one of nine Turing laureates among the conference's invited speakers and one of four Turing laureates who are current or emeritus faculty members at Carnegie Mellon. He will present a lecture, "Model Checking and the Curse of Dimensionality."  

Veloso this summer will become president of the Association for the Advancement of Artificial Intelligence; at the Manchester conference, she will discuss "Symbiotic Autonomy: Robots, Humans, and the Web."

Other invited speakers include Vint Cert, Google senior vice president and Turing laureate; David Ferrucci, who led development of IBM's Watson question-answering system, and chess grandmaster Garry Kasparov.

Lenore Blum To Speak at Turing Centenary Conference

Lenore Blum, professor of computer science, is an invited speaker at the Turing Centenary Conference, Computability in Europe 2012 (CiE 2012) conference at the University of Cambridge, June 18-23, Blum will present her talk, "Alan Turing and the Other Theory of Computation," June 22, the eve of what would have been Turing’s 100th birthday.