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 CRTD receives 1.56 Mill. Euro BMBF-funding for retinal disease research
24.05.2017 | DFG-Forschungszentrum für Regenerative Therapien TU Dresden

nachricht BMBF funds translational project to improve radiotherapy
10.05.2017 | Helmholtz Zentrum München - Deutsches Forschungszentrum für Gesundheit und Umwelt

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 quantum walk of photons

Physicists from the University of Würzburg are capable of generating identical looking single light particles at the push of a button. Two new studies now demonstrate the potential this method holds.

The quantum computer has fuelled the imagination of scientists for decades: It is based on fundamentally different phenomena than a conventional computer....

Im Focus: Turmoil in sluggish electrons’ existence

An international team of physicists has monitored the scattering behaviour of electrons in a non-conducting material in real-time. Their insights could be beneficial for radiotherapy.

We can refer to electrons in non-conducting materials as ‘sluggish’. Typically, they remain fixed in a location, deep inside an atomic composite. It is hence...

Im Focus: Wafer-thin Magnetic Materials Developed for Future Quantum Technologies

Two-dimensional magnetic structures are regarded as a promising material for new types of data storage, since the magnetic properties of individual molecular building blocks can be investigated and modified. For the first time, researchers have now produced a wafer-thin ferrimagnet, in which molecules with different magnetic centers arrange themselves on a gold surface to form a checkerboard pattern. Scientists at the Swiss Nanoscience Institute at the University of Basel and the Paul Scherrer Institute published their findings in the journal Nature Communications.

Ferrimagnets are composed of two centers which are magnetized at different strengths and point in opposing directions. Two-dimensional, quasi-flat ferrimagnets...

Im Focus: World's thinnest hologram paves path to new 3-D world

Nano-hologram paves way for integration of 3-D holography into everyday electronics

An Australian-Chinese research team has created the world's thinnest hologram, paving the way towards the integration of 3D holography into everyday...

Im Focus: Using graphene to create quantum bits

In the race to produce a quantum computer, a number of projects are seeking a way to create quantum bits -- or qubits -- that are stable, meaning they are not much affected by changes in their environment. This normally needs highly nonlinear non-dissipative elements capable of functioning at very low temperatures.

In pursuit of this goal, researchers at EPFL's Laboratory of Photonics and Quantum Measurements LPQM (STI/SB), have investigated a nonlinear graphene-based...

All Focus news of the innovation-report >>>

Anzeige

Anzeige

Event News

Marine Conservation: IASS Contributes to UN Ocean Conference in New York on 5-9 June

24.05.2017 | Event News

AWK Aachen Machine Tool Colloquium 2017: Internet of Production for Agile Enterprises

23.05.2017 | Event News

Dortmund MST Conference presents Individualized Healthcare Solutions with micro and nanotechnology

22.05.2017 | Event News

 
Latest News

Physicists discover mechanism behind granular capillary effect

24.05.2017 | Physics and Astronomy

Measured for the first time: Direction of light waves changed by quantum effect

24.05.2017 | Physics and Astronomy

Marine Conservation: IASS Contributes to UN Ocean Conference in New York on 5-9 June

24.05.2017 | Event News

VideoLinks
B2B-VideoLinks
More VideoLinks >>>