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 Reconstructing the richness of pristine oceans funded by the ERC
28.10.2019 | Johannes Gutenberg-Universität Mainz

nachricht AI for Understanding and Modelling the Earth System – International Research Team wins ERC Synergy Grant
14.10.2019 | Max-Planck-Institut für Biogeochemie

All articles from Awards Funding >>>

The most recent press releases about innovation >>>

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

Im Focus: AI & single-cell genomics

New software predicts cell fate

Traditional single-cell sequencing methods help to reveal insights about cellular differences and functions - but they do this with static snapshots only...

Im Focus: TU Graz Researchers synthesize nanoparticles tailored for special applications

“Core-shell” clusters pave the way for new efficient nanomaterials that make catalysts, magnetic and laser sensors or measuring devices for detecting electromagnetic radiation more efficient.

Whether in innovative high-tech materials, more powerful computer chips, pharmaceuticals or in the field of renewable energies, nanoparticles – smallest...

Im Focus: Tailored light inspired by nature

An international research team with Prof. Cornelia Denz from the Institute of Applied Physics at the University of Münster develop for the first time light fields using caustics that do not change during propagation. With the new method, the physicists cleverly exploit light structures that can be seen in rainbows or when light is transmitted through drinking glasses.

Modern applications as high resolution microsopy or micro- or nanoscale material processing require customized laser beams that do not change during...

Im Focus: NYUAD astrophysicist investigates the possibility of life below the surface of Mars

  • A rover expected to explore below the surface of Mars in 2022 has the potential to provide more insights
  • The findings published in Scientific Reports, Springer Nature suggests the presence of traces of water on Mars, raising the question of the possibility of a life-supporting environment

Although no life has been detected on the Martian surface, a new study from astrophysicist and research scientist at the Center for Space Science at NYU Abu...

Im Focus: Manipulating non-magnetic atoms in a chromium halide enables tuning of magnetic properties

New approach creates synthetic layered magnets with unprecedented level of control over their magnetic properties

The magnetic properties of a chromium halide can be tuned by manipulating the non-magnetic atoms in the material, a team, led by Boston College researchers,...

All Focus news of the innovation-report >>>

Anzeige

Anzeige

VideoLinks
Industry & Economy
Event News

“Conference on Laser Polishing – LaP 2020”: The final touches for surfaces

23.07.2020 | Event News

Conference radar for cybersecurity

21.07.2020 | Event News

Contact Tracing Apps against COVID-19: German National Academy Leopoldina hosts international virtual panel discussion

07.07.2020 | Event News

 
Latest News

First radio detection of an extrasolar planetary system around a main-sequence star

04.08.2020 | Physics and Astronomy

The art of making tiny holes

04.08.2020 | Physics and Astronomy

Early Mars was covered in ice sheets, not flowing rivers

04.08.2020 | Physics and Astronomy

VideoLinks
Science & Research
Overview of more VideoLinks >>>