Skolnick's modeling shows confinement effects on cell macromolecules

Using large-scale supercomputer modeling, researchers have shown

Go deeper

Berkeley Lab opens state-of-the-art facility Wang Hall

Wang Hall takes advantage of Lab’s hillside

Go deeper

Charnay first to simulate 3D exotic clouds on an exoplanet

Scientists have catalogued nearly 2,000 exoplanets (

Go deeper

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.


JavaScript either reported a fatal error or is not running.



  • INTC
    Intel Corporation

    Intel Corporation

    Last trade: 34.77
    Trade time: 4:00pm
    Change: (+0.90%)
  • IBM
    International Business Machines

    International Business Machines

    Last trade: 139.42
    Trade time: 4:02pm
    Change: (+0.69%)
  • HP
    Helmerich & Payne, Inc. Common

    Helmerich & Payne, Inc. Common

    Last trade: 58.25
    Trade time: 4:04pm
    Change: (+1.55%)
  • ORCL
    Oracle Corporation Common Stock

    Oracle Corporation Common Stock

    Last trade: 38.97
    Trade time: 4:05pm
    Change: (-0.54%)
  • MSFT
    Microsoft Corporation

    Microsoft Corporation

    Last trade: 54.35
    Trade time: 4:00pm
    Change: (+0.78%)