Forum for Science, Industry and Business

Sponsored by:     3M 
Search our Site:

 

Turing Award for fathers of software/hardware model checking

20.02.2008
European researcher Joseph Sifakis is among the winners of this year’s A.M. Turing Award, the top prize for computer scientists and engineers, for his pioneering work on a software/hardware quality assurance process known as ‘model checking’.

The Association for Computing Machinery (ACM) has named Joseph Sifakis, Edmund Clarke and Allen Emerson winners of its A.M. Turing Award 2007 for their original and continuing research into software and hardware ‘model checking’. Their groundbreaking work transformed a theoretical technique into an effective verification technology making it easier for computer engineers to find errors in complex system designs.

“Without the conceptual breakthrough pioneered by these researchers, we might still be stuck with chips that have many errors and would lack the power and speed of today’s equipment,” commented ACM President Stuart Feldman on the announcement.

The real winners

When you take your new PC out of the box, you expect to be able to plug it in and tap into the power of modern computing immediately. But the quality of the hardware and software running your PC relies heavily on model checking. Critical functions in hospitals, nuclear power plants, in vehicles and aircraft, and even e-commerce all owe a debt to these Turing laureates.

Working together in the 1980s, Americans Clarke of Carnegie Mellon University and Allen of Texas University laid the groundwork for what has become a critical field, while Sifakis of the Centre National de la Recherche Scientifique (CNRS) developed with colleagues a “real-time”, fully automated approach that is now the most widely used verification method in the hardware and software industries.

Sifakis has been with France’s national scientific research centre since 1974 and received the CNRS Silver Medal for his contributions to this field. Among other high-level appointments, he is scientific coordinator of two major EU-funded networks of excellence on embedded software designs; one called Artist2, which ends this year, another called ArtistDesign, which carries on until 2011. These networks assemble the best European teams of researchers and industrial partners, such as Airbus, Ericsson and STMicroelectronics, to develop more secure, reliable and cost-effective embedded systems. These follow a long history of European projects in embedded systems and future and emerging technologies.

The Turing Award, widely considered the most prestigious award in computing, honours British mathematician Alan Turing who is seen as one of the fathers of modern computing. The 2007 laureates will be presented the $250,000 prize at the annual ACM Awards Banquet on 21 June this year in San Francisco, USA. The award is sponsored by Intel and Google.

Christian Nielsen | alfa
Further information:
http://cordis.europa.eu/ictresults/index.cfm/section/news/tpl/article/BrowsingType/Features/ID/89563

More articles from Awards Funding:

nachricht Tracking down the origins of gold
08.11.2017 | Heidelberger Institut für Theoretische Studien gGmbH

nachricht Lasagni awarded with Materials Science and Technology Prize 2017
09.10.2017 | Fraunhofer-Institut für Werkstoff- und Strahltechnik IWS

All articles from Awards Funding >>>

The most recent press releases about innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: A “cosmic snake” reveals the structure of remote galaxies

The formation of stars in distant galaxies is still largely unexplored. For the first time, astron-omers at the University of Geneva have now been able to closely observe a star system six billion light-years away. In doing so, they are confirming earlier simulations made by the University of Zurich. One special effect is made possible by the multiple reflections of images that run through the cosmos like a snake.

Today, astronomers have a pretty accurate idea of how stars were formed in the recent cosmic past. But do these laws also apply to older galaxies? For around a...

Im Focus: Visual intelligence is not the same as IQ

Just because someone is smart and well-motivated doesn't mean he or she can learn the visual skills needed to excel at tasks like matching fingerprints, interpreting medical X-rays, keeping track of aircraft on radar displays or forensic face matching.

That is the implication of a new study which shows for the first time that there is a broad range of differences in people's visual ability and that these...

Im Focus: Novel Nano-CT device creates high-resolution 3D-X-rays of tiny velvet worm legs

Computer Tomography (CT) is a standard procedure in hospitals, but so far, the technology has not been suitable for imaging extremely small objects. In PNAS, a team from the Technical University of Munich (TUM) describes a Nano-CT device that creates three-dimensional x-ray images at resolutions up to 100 nanometers. The first test application: Together with colleagues from the University of Kassel and Helmholtz-Zentrum Geesthacht the researchers analyzed the locomotory system of a velvet worm.

During a CT analysis, the object under investigation is x-rayed and a detector measures the respective amount of radiation absorbed from various angles....

Im Focus: Researchers Develop Data Bus for Quantum Computer

The quantum world is fragile; error correction codes are needed to protect the information stored in a quantum object from the deteriorating effects of noise. Quantum physicists in Innsbruck have developed a protocol to pass quantum information between differently encoded building blocks of a future quantum computer, such as processors and memories. Scientists may use this protocol in the future to build a data bus for quantum computers. The researchers have published their work in the journal Nature Communications.

Future quantum computers will be able to solve problems where conventional computers fail today. We are still far away from any large-scale implementation,...

Im Focus: Wrinkles give heat a jolt in pillared graphene

Rice University researchers test 3-D carbon nanostructures' thermal transport abilities

Pillared graphene would transfer heat better if the theoretical material had a few asymmetric junctions that caused wrinkles, according to Rice University...

All Focus news of the innovation-report >>>

Anzeige

Anzeige

Event News

Ecology Across Borders: International conference brings together 1,500 ecologists

15.11.2017 | Event News

Road into laboratory: Users discuss biaxial fatigue-testing for car and truck wheel

15.11.2017 | Event News

#Berlin5GWeek: The right network for Industry 4.0

30.10.2017 | Event News

 
Latest News

Antarctic landscape insights keep ice loss forecasts on the radar

20.11.2017 | Earth Sciences

Filling the gap: High-latitude volcanic eruptions also have global impact

20.11.2017 | Earth Sciences

Water world

20.11.2017 | Life Sciences

VideoLinks
B2B-VideoLinks
More VideoLinks >>>