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.

Sep
22

09.22.2015 - 09.23.2015

  • INTC
    28.91
    (-0.34%)
    Intel Corporation

    Intel Corporation

    Last trade: 28.91
    Trade time: 4:00pm
    Change: (-0.34%)
  • HPQ
    30.62
    (+1.06%)
    Hewlett-Packard Company Common

    Hewlett-Packard Company Common

    Last trade: 30.62
    Trade time: 4:00pm
    Change: (+1.06%)
  • ORCL
    39.65
    (-0.35%)
    Oracle Corporation Common Stock

    Oracle Corporation Common Stock

    Last trade: 39.65
    Trade time: 4:02pm
    Change: (-0.35%)
  • CSCO
    28.30
    (-0.35%)

    Last trade: 28.30
    Trade time: 4:00pm
    Change: (-0.35%)
  • IBM
    160.96
    (-0.08%)
    International Business Machines

    International Business Machines

    Last trade: 160.96
    Trade time: 4:01pm
    Change: (-0.08%)