imported>Drahreg01: Mitglied der National Academy of Sciences: https://www.nasonline.org/news-and-multimedia/news/2024-nas-election.html

2024-04-30T21:46:25Z

Mitglied der National Academy of Sciences: https://www.nasonline.org/news-and-multimedia/news/2024-nas-election.html

Neue Seite

[[Datei:Joseph Sifakis img 0966.jpg|mini|Joseph Sifakis 2008]]
'''Joseph Sifakis''' ({{elS|Ιωσήφ Σηφάκης}}; * [[26. Dezember]] [[1946]] in [[Iraklio]], [[Kreta]]) ist ein griechisch-französischer<ref name="kathimerini">'' {{Webarchiv|text=Το βραβείο Turing 2007 σε Έλληνα ερευνητή |url=http://portal.kathimerini.gr/4dcgi/_w_articles_kathworld_12_04/02/2008_220846 |wayback=20110716055312 }}'', [[Kathimerini]], 4. Februar 2008 (griechisch)</ref><ref name="cnrs">''[http://www2.cnrs.fr/presse/communique/1280.htm Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007]'', [[Centre national de la recherche scientifique|CNRS]], 4. Februar 2008 (französisch)</ref> [[Informatik]]er und [[Turing Award|Turing-Preisträger]]. Er trug wesentlich zum Aufkommen der [[Modellprüfung]] und deren Verbreitung in der Industrie bei.

== Leben ==
Sifakis studierte [[Elektrotechnik]] an der [[Nationale Technische Universität Athen|Nationalen Technischen Universität Athen]] und wurde mit einem französischen Stipendium<ref name="enet.gr">'' {{Webarchiv|text=Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής |url=http://www.enet.gr/online/online_text/c=112,id=46050344 |wayback=20080207020721 }}'', [[Eleftherotypia]], 5. Februar 2008 (griechisch)</ref> an der [[Universität Joseph Fourier Grenoble I]] in Informatik promoviert.<ref name="verimag">''[http://www-verimag.imag.fr/~async/ 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 [[Echtzeitsystem]]en, mit Fokus auf ''Correct-by-construction''-Techniken. Er ist auch Träger der CNRS-Silbermedaille 2001.<ref name="sifakis">[http://www-verimag.imag.fr/~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 [[Eingebettetes System|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 [[Parallelrechner|paralleler Systeme]] geehrt.<ref name="cnrs" /><ref>Association for Computing Machinery: [http://techpolicy.acm.org/blog/?p=572 ''2007 Turing Award Winners Announced''], 4. Februar 2008</ref> Im Jahr darauf ernannte [[Nicolas Sarkozy]] ihn zum [[Großkomtur (Ordenskunde)|Grand Officier]] des [[Ordre national du Mérite]].<ref>hellenesonline.com: {{Webarchiv|text=''Joseph Sifakis, Ordre national du Merite'' |url=http://www.hellenesonline.com/go/2008/10/joseph-sifakis-grand-officier-de-lordre-national-du-merite-medal/ |wayback=20120126092249 }}, 1. Oktober 2008</ref> Seit 2008 ist er Mitglied der [[Academia Europaea]].<ref>[http://www.ae-info.org/ae/User/Sifakis_Joseph Academy of Europe: Joseph Sifakis]</ref> Seit 2011 ist er Mitglied der [[Académie des sciences]].<ref>{{Internetquelle| url=http://www.academie-sciences.fr/en/Liste-des-membres-de-l-Academie-des-sciences-/-S/joseph-sifakis.html| titel=Mitgliederverzeichnis: Joseph Sifakis| hrsg=Académie des sciences| zugriff=2017-09-26| sprache=französisch}}</ref> 2015 wurde er in die [[American Academy of Arts and Sciences]] gewählt<ref>{{Amacad |S |2017-09-26}}</ref>, 2017 in die [[National Academy of Engineering]] und 2024 zum Mitglied der [[National Academy of Sciences]].

== Weblinks ==
{{Commonscat}}
* [http://www-verimag.imag.fr/~sifakis/ Sifakis' Website bei Verimag] (englisch)
* {{TIBAV-Suche |suche= |link= | gnd=111889359 }}

== Einzelnachweise ==
<references />
{{Navigationsleiste Träger des Turing-Awards}}

{{Normdaten|TYP=p|GND=1049200187|LCCN=n/88/237558|VIAF=110770950}}

{{SORTIERUNG:Sifakis, Joseph}}
[[Kategorie:Träger des Turing Award]]
[[Kategorie:Person (Centre national de la recherche scientifique)]]
[[Kategorie:Informatiker]]
[[Kategorie:Träger des französischen Nationalverdienstordens (Großoffizier)]]
[[Kategorie:Mitglied der Académie des sciences]]
[[Kategorie:Mitglied der Academia Europaea]]
[[Kategorie:Mitglied der American Academy of Arts and Sciences]]
[[Kategorie:Mitglied der National Academy of Engineering]]
[[Kategorie:Mitglied der National Academy of Sciences]]
[[Kategorie:Franzose]]
[[Kategorie:Grieche]]
[[Kategorie:Geboren 1946]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Sifakis, Joseph
|ALTERNATIVNAMEN=Σηφάκης, Ιωσήφ (griechisch)
|KURZBESCHREIBUNG=griechisch-französischer Informatiker und Turing-Preisträger
|GEBURTSDATUM=26. Dezember 1946
|GEBURTSORT=[[Iraklio]], Kreta
|STERBEDATUM=
|STERBEORT=
}}

Joseph Sifakis - Versionsgeschichte

imported>Drahreg01: Mitglied der National Academy of Sciences: https://www.nasonline.org/news-and-multimedia/news/2024-nas-election.html