- May 16, 2012
Clarke, Veloso Featured at Turing 100 Celebration
Edmund 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.
Clarke, 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.
About Carnegie Mellon:
Carnegie Mellon is a private research university with a
distinctive mix of programs in engineering, computer science, robotics, business,
public policy, fine arts and the humanities. More than 10,000 undergraduate and
graduate students receive an education characterized by its focus on creating
and implementing solutions for real problems, interdisciplinary collaboration,
and innovation. A small student-to-faculty ratio provides an opportunity for
close interaction between students and professors. While technology is pervasive
on its 144-acre Pittsburgh campus, Carnegie Mellon is also distinctive among
leading research universities for the world-renowned programs in its College of
Fine Arts. A global university, Carnegie Mellon has campuses in Silicon Valley, Calif.,
and Qatar, and programs in Asia, Australia and Europe.
For more, see www.cmu.edu