Joseph Sifakis

Joseph Sifakis (griechisch Ιωσήφ Σηφάκης; * 26. Dezember 1946 in Iraklio, Kreta) ist ein griechisch-französischer[1][2] Informatiker und Turing-Preisträger. Er trug wesentlich zum Aufkommen der Modellprüfung und deren Verbreitung in der Industrie bei.

Leben

Sifakis studierte Elektrotechnik an der Nationalen Technischen Universität Athen und wurde mit einem französischen Stipendium[3] an der Universität Joseph Fourier Grenoble I in Informatik promoviert.[4]

Er arbeitet in Grenoble für das von ihm mitgegründete[2] und von 1993 bis 2006 geleitete[4] Verimag-Labor des Centre national de la recherche scientifique. Dort ist er Forschungsleiter im Bereich verteilte und komplexe Systeme, und forscht insbesondere an komponentenbasiertem Design, Modellierung und Analyse von Echtzeitsystemen, mit Fokus auf Correct-by-construction-Techniken. Er ist auch Träger der CNRS-Silbermedaille 2001.[5] Außerdem ist er Leiter des CARNOT-Instituts für intelligente Software und Systeme in Grenoble und einer der Vorsitzenden von ARTEMISIA, dem Industrieverband innerhalb der europäischen Embedded-Systems-Technologieplattform ARTEMIS.

Sifakis ist wissenschaftlicher Koordinator der europäischen Exzellenznetzwerke Artist2 und ArtistDesign zur Forschung im Bereich eingebetteter Systeme, und hat mit Edmund M. Clarke, Robert Kurshan und Amir Pnueli die International Conference on Computer Aided Verification gegründet.[4] Weiter ist er Mitglied mehrerer redaktioneller Beiräte wissenschaftlicher Zeitschriften und seit 2008 Mitglied der Academia Europaea.[6]

Auszeichnungen

2007 erhielt Sifakis zusammen mit Edmund M. Clarke und Allen Emerson, von denen unabhängig er ab 1981 an der Modellprüfung gearbeitet hat, den Turing Award, und wird damit für seine Pionierarbeit sowohl auf theoretischem als auch praktischem Gebiet der Spezifikation und Verifizierung paralleler Systeme geehrt.[2][7] Im Jahr darauf ernannte Nicolas Sarkozy ihn zum Grand Officier des Ordre national du Mérite.[8] Seit 2011 ist er Mitglied der Académie des sciences.[9] 2015 wurde er in die American Academy of Arts and Sciences gewählt[10], 2017 in die National Academy of Engineering.

Weblinks

Sifakis' Website bei Verimag (englisch)

Einzelnachweise
Το βραβείο Turing 2007 σε Έλληνα ερευνητή (Memento des Originals vom 16. Juli 2011 im Internet Archive) i Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe den Link gemäß Anleitung und entferne dann diesen Hinweis., Kathimerini, 4. Februar 2008 (griechisch)
Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007, CNRS, 4. Februar 2008 (französisch)
Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής (Memento des Originals vom 7. Februar 2008 im Internet Archive) i Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe den Link gemäß Anleitung und entferne dann diesen Hinweis., Eleftherotypia, 5. Februar 2008 (griechisch)
Verimag Distributed and Complex Systems Group, News, 4. Februar 2008
Sifakis' persönliche Homepage bei Verimag
Academy of Europe: Joseph Sifakis
Association for Computing Machinery: 2007 Turing Award Winners Announced, 4. Februar 2008
hellenesonline.com: Joseph Sifakis, Ordre national du Merite (Memento des Originals vom 26. Januar 2012 im Internet Archive) i Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe den Link gemäß Anleitung und entferne dann diesen Hinweis., 1. Oktober 2008
Mitgliederverzeichnis: Joseph Sifakis. Académie des sciences, abgerufen am 26. September 2017 (französisch).

Book of Members 1780–present, Chapter S. In: American Academy of Arts and Sciences (amacad.org). Abgerufen am 26. September 2017 (PDF; 2,0 MB, englisch).

Einklappen
Träger des Turing Awards

Antikes Griechenland

Biographien, Griechische Mythologie , Kriegführung, Kunst, Architektur, Wissenschaft, Philosophie, Literatur, Sport, Leben, Geschichte, Index, Bilder/Zeichnungen

Griechenland im Mittelalter

Byzanz, Biographien, Kunst, Literatur, Orthodoxie, Byzantinische Armee, Geschichte, Index

Griechenland in der Neuzeit

Geographie, Inseln, Städte, Kunst, Musik, Biographien, Film, Sport, Wissenschaft, Literatur, Geschichte,

---

Index

Zypern

Paulys Realencyclopädie der classischen Altertumswissenschaft

Hellenica Bibliothek - Scientific Library

Index Griechisch: Αλφαβητικός κατάλογος

Der Text ist unter der Lizenz „Creative Commons Attribution/Share Alike“ verfügbar; zusätzliche Bedingungen können anwendbar sein. Einzelheiten sind in den Nutzungsbedingungen beschrieben.