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 pest control strategies
31.01.2018 | Technische Universität Dresden

nachricht Polymers and Fuels from Renewable Resources
29.01.2018 | DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V.

All articles from Awards Funding >>>

The most recent press releases about innovation >>>

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

Im Focus: In best circles: First integrated circuit from self-assembled polymer

For the first time, a team of researchers at the Max-Planck Institute (MPI) for Polymer Research in Mainz, Germany, has succeeded in making an integrated circuit (IC) from just a monolayer of a semiconducting polymer via a bottom-up, self-assembly approach.

In the self-assembly process, the semiconducting polymer arranges itself into an ordered monolayer in a transistor. The transistors are binary switches used...

Im Focus: Demonstration of a single molecule piezoelectric effect

Breakthrough provides a new concept of the design of molecular motors, sensors and electricity generators at nanoscale

Researchers from the Institute of Organic Chemistry and Biochemistry of the CAS (IOCB Prague), Institute of Physics of the CAS (IP CAS) and Palacký University...

Im Focus: Hybrid optics bring color imaging using ultrathin metalenses into focus

For photographers and scientists, lenses are lifesavers. They reflect and refract light, making possible the imaging systems that drive discovery through the microscope and preserve history through cameras.

But today's glass-based lenses are bulky and resist miniaturization. Next-generation technologies, such as ultrathin cameras or tiny microscopes, require...

Im Focus: Stem cell divisions in the adult brain seen for the first time

Scientists from the University of Zurich have succeeded for the first time in tracking individual stem cells and their neuronal progeny over months within the intact adult brain. This study sheds light on how new neurons are produced throughout life.

The generation of new nerve cells was once thought to taper off at the end of embryonic development. However, recent research has shown that the adult brain...

Im Focus: Interference as a new method for cooling quantum devices

Theoretical physicists propose to use negative interference to control heat flow in quantum devices. Study published in Physical Review Letters

Quantum computer parts are sensitive and need to be cooled to very low temperatures. Their tiny size makes them particularly susceptible to a temperature...

All Focus news of the innovation-report >>>

Anzeige

Anzeige

VideoLinks
Industry & Economy
Event News

2nd International Conference on High Temperature Shape Memory Alloys (HTSMAs)

15.02.2018 | Event News

Aachen DC Grid Summit 2018

13.02.2018 | Event News

How Global Climate Policy Can Learn from the Energy Transition

12.02.2018 | Event News

 
Latest News

'Lipid asymmetry' plays key role in activating immune cells

20.02.2018 | Life Sciences

MRI technique differentiates benign breast lesions from malignancies

20.02.2018 | Medical Engineering

Major discovery in controlling quantum states of single atoms

20.02.2018 | Physics and Astronomy

VideoLinks
Science & Research
Overview of more VideoLinks >>>