Joseph Sifakis
Joseph Sifakis ({{Modul:Vorlage:lang}} Modul:Vorlage:lang:103: attempt to index field 'wikibase' (a nil value); * 26. Dezember 1946 in Iraklio, Kreta) ist ein griechisch-französischer<ref name="kathimerini"> <templatestyles src="Webarchiv/styles.css" />Το βραβείο Turing 2007 σε Έλληνα ερευνητή ( vom 16. Juli 2011 im Internet Archive), Kathimerini, 4. Februar 2008 (griechisch)</ref><ref name="cnrs">Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007, CNRS, 4. Februar 2008 (französisch)</ref> 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<ref name="enet.gr"> <templatestyles src="Webarchiv/styles.css" />Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής ( vom 7. Februar 2008 im Internet Archive), Eleftherotypia, 5. Februar 2008 (griechisch)</ref> an der Universität Joseph Fourier Grenoble I in Informatik promoviert.<ref name="verimag">Verimag Distributed and Complex Systems Group, News, 4. Februar 2008</ref>
Er arbeitet in Grenoble für das von ihm mitgegründete<ref name="cnrs" /> und von 1993 bis 2006 geleitete<ref name="verimag" /> 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.<ref name="sifakis">Sifakis' persönliche Homepage bei Verimag</ref> 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.<ref name="verimag" /> Weiter ist er Mitglied mehrerer redaktioneller Beiräte wissenschaftlicher Zeitschriften.
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.<ref name="cnrs" /><ref>Association for Computing Machinery: 2007 Turing Award Winners Announced, 4. Februar 2008</ref> Im Jahr darauf ernannte Nicolas Sarkozy ihn zum Grand Officier des Ordre national du Mérite.<ref>hellenesonline.com: <templatestyles src="Webarchiv/styles.css" />Joseph Sifakis, Ordre national du Merite ( vom 26. Januar 2012 im Internet Archive), 1. Oktober 2008</ref> Seit 2008 ist er Mitglied der Academia Europaea.<ref>Academy of Europe: Joseph Sifakis</ref> Seit 2011 ist er Mitglied der Académie des sciences.<ref>Mitgliederverzeichnis: Joseph Sifakis. Académie des sciences, abgerufen am 26. September 2017 (französisch).</ref> 2015 wurde er in die American Academy of Arts and Sciences gewählt<ref>Book of Members 1780–present, Chapter S. (PDF; 1,5 MB) In: amacad.org. American Academy of Arts and Sciences, abgerufen am 26. September 2017 (Lua-Fehler in Modul:Multilingual, Zeile 153: attempt to index field 'data' (a nil value)).</ref>, 2017 in die National Academy of Engineering und 2024 zum Mitglied der National Academy of Sciences.
Weblinks
- Sifakis' Website bei Verimag (englisch)
- Videos von und über Joseph Sifakis im AV-Portal der Technischen Informationsbibliothek
Einzelnachweise
<references /> Vorlage:Klappleiste/Anfang 1966: Perlis | 1967: Wilkes | 1968: Hamming | 1969: Minsky | 1970: Wilkinson | 1971: McCarthy | 1972: Dijkstra | 1973: Bachman | 1974: Knuth | 1975: Newell, Simon | 1976: Rabin, Scott | 1977: Backus | 1978: Floyd | 1979: Iverson | 1980: Hoare | 1981: Codd | 1982: Cook | 1983: Thompson, Ritchie | 1984: Wirth | 1985: Karp | 1986: Hopcroft, Tarjan | 1987: Cocke | 1988: Sutherland | 1989: Kahan | 1990: Corbató | 1991: Milner | 1992: Lampson | 1993: Hartmanis, Stearns | 1994: Feigenbaum, Reddy | 1995: Blum | 1996: Pnueli | 1997: Engelbart | 1998: Gray | 1999: Brooks | 2000: Yao | 2001: Dahl, Nygaard | 2002: Rivest, Shamir, Adleman | 2003: Kay | 2004: Cerf, Kahn | 2005: Naur | 2006: Allen | 2007: Clarke, Emerson, Sifakis | 2008: Liskov | 2009: Thacker | 2010: Valiant | 2011: Pearl | 2012: Micali, Goldwasser | 2013: Lamport | 2014: Stonebraker | 2015: Diffie, Hellman | 2016: Berners-Lee | 2017: Hennessy, Patterson | 2018: Hinton, LeCun, Bengio | 2019: Catmull, Hanrahan | 2020: Aho, Ullman | 2021: Dongarra | 2022: Metcalfe | 2023: Wigderson | 2024: Barto, Sutton Vorlage:Klappleiste/Ende
| Personendaten | |
|---|---|
| NAME | Sifakis, Joseph |
| ALTERNATIVNAMEN | Σηφάκης, Ιωσήφ (griechisch) |
| KURZBESCHREIBUNG | griechisch-französischer Informatiker und Turing-Preisträger |
| GEBURTSDATUM | 26. Dezember 1946 |
| GEBURTSORT | Iraklio, Kreta |
- Seiten mit Skriptfehlern
- Wikipedia:Defekter Dateilink
- Träger des Turing Award
- Person (Centre national de la recherche scientifique)
- Informatiker
- Träger des französischen Nationalverdienstordens (Großoffizier)
- Mitglied der Académie des sciences
- Mitglied der Academia Europaea
- Mitglied der American Academy of Arts and Sciences
- Mitglied der National Academy of Engineering
- Mitglied der National Academy of Sciences
- Franzose
- Grieche
- Geboren 1946
- Mann