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 Innovation Award of the United Nations Environment Programme for PhD Student from ZMT
22.03.2018 | Leibniz-Zentrum für Marine Tropenforschung (ZMT)

nachricht ERC Project set to boost application of adhesive structures
19.03.2018 | INM - Leibniz-Institut für Neue Materialien gGmbH

All articles from Awards Funding >>>

The most recent press releases about innovation >>>

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

Im Focus: Explanation for puzzling quantum oscillations has been found

So-called quantum many-body scars allow quantum systems to stay out of equilibrium much longer, explaining experiment | Study published in Nature Physics

Recently, researchers from Harvard and MIT succeeded in trapping a record 53 atoms and individually controlling their quantum state, realizing what is called a...

Im Focus: Dozens of binaries from Milky Way's globular clusters could be detectable by LISA

Next-generation gravitational wave detector in space will complement LIGO on Earth

The historic first detection of gravitational waves from colliding black holes far outside our galaxy opened a new window to understanding the universe. A...

Im Focus: Entangled atoms shine in unison

A team led by Austrian experimental physicist Rainer Blatt has succeeded in characterizing the quantum entanglement of two spatially separated atoms by observing their light emission. This fundamental demonstration could lead to the development of highly sensitive optical gradiometers for the precise measurement of the gravitational field or the earth's magnetic field.

The age of quantum technology has long been heralded. Decades of research into the quantum world have led to the development of methods that make it possible...

Im Focus: Computer-Designed Customized Regenerative Heart Valves

Cardiovascular tissue engineering aims to treat heart disease with prostheses that grow and regenerate. Now, researchers from the University of Zurich, the Technical University Eindhoven and the Charité Berlin have successfully implanted regenerative heart valves, designed with the aid of computer simulations, into sheep for the first time.

Producing living tissue or organs based on human cells is one of the main research fields in regenerative medicine. Tissue engineering, which involves growing...

Im Focus: Light-induced superconductivity under high pressure

A team of scientists of the Max Planck Institute for the Structure and Dynamics of Matter (MPSD) at the Center for Free-Electron Laser Science in Hamburg investigated optically-induced superconductivity in the alkali-doped fulleride K3C60under high external pressures. This study allowed, on one hand, to uniquely assess the nature of the transient state as a superconducting phase. In addition, it unveiled the possibility to induce superconductivity in K3C60 at temperatures far above the -170 degrees Celsius hypothesized previously, and rather all the way to room temperature. The paper by Cantaluppi et al has been published in Nature Physics.

Unlike ordinary metals, superconductors have the unique capability of transporting electrical currents without any loss. Nowadays, their technological...

All Focus news of the innovation-report >>>

Anzeige

Anzeige

VideoLinks
Industry & Economy
Event News

Save the date: Forum European Neuroscience – 07-11 July 2018 in Berlin, Germany

02.05.2018 | Event News

Invitation to the upcoming "Current Topics in Bioinformatics: Big Data in Genomics and Medicine"

13.04.2018 | Event News

Unique scope of UV LED technologies and applications presented in Berlin: ICULTA-2018

12.04.2018 | Event News

 
Latest News

Supersonic waves may help electronics beat the heat

18.05.2018 | Power and Electrical Engineering

Keeping a Close Eye on Ice Loss

18.05.2018 | Information Technology

CrowdWater: An App for Flood Research

18.05.2018 | Information Technology

VideoLinks
Science & Research
Overview of more VideoLinks >>>