Forscher am CNRS gewinnt renommierten Informatikpreis
Ein von der EU finanzierter Forscher am französischen nationalen Zentrum für wissenschaftliche Forschung (CNRS) ist unter den drei Gewinnern des renommierten Turing-Preises der amerikanischen Computervereinigung American Association for Computing Machinery (ACM). Dr. Josef Sifakis ist der erste französische Staatsbürger, der mit diesem Preis ausgezeichnet wurde, der seit seiner Stiftung 1966 oft als der Nobelpreis für Informatik bezeichnet wird. Alle drei Gewinner, Dr. Sifakis und seine amerikanischen Kollegen Dr. Edmund M. Clarke von der Carnegie Mellon Universität in Pittsburgh und Dr. E Allan Emerson von der Universität Texas, arbeiten auf dem Gebiet der Modellüberprüfung, eine Technologie, die Hard- und Softwareingenieuren bei der Fehlererkennung in komplexen Systemen hilft. Das Preisgeld in Höhe von 170.000 Euro erhielten sie als Anerkennung ihrer "Rolle bei der Weiterentwicklung der Modellüberprüfung in eine hocheffektive Verifizierungstechnologie, die in der Hard- und Softwareindustrie eine breite Anwendung gefunden hat", lautete es in der Begründung für die Vergabe. ACM-Präsident Stuart Feldman fügte hinzu, dass die Arbeit von Clarke, Emerson und Sifakis eine wesentliche Auswirkung für Entwickler und Hersteller von Halbleiterchips hatte. "Diese Industrien stehen vor einer explosionsartigen Entwicklung der Technologien, in denen höchst komplexe Produkte erwartungsgemäß funktionieren müssen, damit die Unternehmen überleben. Diese Verifizierung ermöglicht es diesen Industrien, die Markteinführungszeiten zu verkürzen und die Produktintegrität zu steigern. Ohne diesen konzeptuellen Durchbruch, an dessen Spitze diese Forscher stehen, wären wir wahrscheinlich immer noch bei Chips mit vielen Fehlern stehen geblieben, die weder die Leistung noch die Geschwindigkeit der heutigen Ausrüstung hätten. Dies ist ein großartiges Beispiel für eine Technologie, die die Industrie verändert und aus einer hochtheoretischen Forschung stammt." "Intel und die gesamte Computerindustrie konnten aus der bahnbrechenden Arbeit der Gewinner einen direkten Nutzen ziehen", fügte Andrew Chien, Vizepräsident der Corporate Technology Group und Forschungsdirektor von Intel Corporation hinzu. "Unsere Forscher und Ingenieure haben 15 Jahre lang eng mit Clarke, Emerson und Sifakis zusammengearbeitet. Erkenntnisse aus ihren neuen Ergebnissen für die automatische Verifizierung wurden in der gesamten Industrie weitgehend angenommen. Diese Modellüberprüfungsansätze bieten eine sehr viele breitere Deckung bei der Suche nach Entwicklungsfehlern." "Google und jedes andere moderne Technologieunternehmen schulden einen großen Teil ihres Erfolgs der Pionierarbeit von Forschern, die bereits vor ihnen da waren", sagte Alan Eustace, der für Entwicklung zuständige Vizepräsident bei Google. "Wir sind stolz, die Gewinner für ihre innovative Lösung auszeichnen zu können, mit der sie eine schwierige und tief greifende Fragestellung beantwortet haben. Wir hoffen, dass diese Auszeichnung jene anregen und anspornen wird, die jetzt vor den technologischen Herausforderungen der Zukunft stehen." Dr. Sifakis ist derzeit Forschungsdirektor beim CNRS und Vorsitzender der 'Chamber B.' (Öffentliche Forschungseinrichtungen) von ARTEMISIA, der Vereinigung der Akteure aus Forschung und Entwicklung (FuE), die an der EU-finanzierten Initiative ARTEMIS für eingebettete Systeme ("Advanced research and technology for embedded intelligence and systems") beteiligt ist. Er ist auch Gründer des VERIMAG-Labors in Grenoble, Frankreich, einem führenden Forschungslabor auf dem Gebiet kritischer eingebetteter Systeme. Von 2004 bis 2008 war Dr. Sifakis wissenschaftlicher Koordinator des europäischen Exzellenznetzwerks Artist2 für den Entwurf eingebetteter Systeme - heute bekleidet er dieselbe Position in dem neuen europäischen Exzellenznetzwerk ArtistDesign. Dr. Sifakis, der auf Kreta in Griechenland geboren wurde, hat einen Abschluss in Elektrotechnik der Technischen Universität Athen sowie einen Abschluss in Informatik der Universität Grenoble, wo er auch promovierte.
Länder
Frankreich