Joseph Sifakis

Joseph Sifakis
Joseph Sifakis 2008

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.

Sifakis studierte Elektrotechnik an der Nationalen Technischen Universität Athen und machte mit einem französischen Stipendium[3] seinen Doktor in Informatik an der Universität Joseph Fourier Grenoble I.[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 Mitglied der Academia Europaea.[6]

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] Im Jahr darauf ernannte Nicolas Sarkozy ihn zum Grand Officier des Ordre national du Mérite.[7]

Weblinks

 Commons: Joseph Sifakis – Sammlung von Bildern, Videos und Audiodateien

Einzelnachweise

  1. Το βραβείο Turing 2007 σε Έλληνα ερευνητή, Kathimerini, 4. Februar 2008 (griechisch)
  2. a b c Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007, CNRS, 4. Februar 2008 (französisch)
  3. Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής, Eleftherotypia, 5. Februar 2008 (griechisch)
  4. a b c Verimag Distributed and Complex Systems Group, News, 4. Februar 2008
  5. Siphakis' persönliche Homepage bei Verimag
  6. Academy of Europe: Joseph Sifakis
  7. hellenesonline.com: Joseph Sifakis, Ordre national du Merite, 1. Oktober 2008

Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Joseph Sifakis — en 2008 Joseph Sifakis est un chercheur en informatique français d origine grecque[1], directeur de recherche au CNRS. Joseph Sifakis est ingénieur électricien de l’École Polytechnique d’Athènes, docteur ingénieur de l …   Wikipédia en Français

  • Joseph Sifakis — en 2008. Nombre …   Wikipedia Español

  • Joseph Sifakis — ( el. Ιωσήφ Σηφάκης) is a Greek(Eleftherotypia 05 Feb 2008) http://www.enet.gr/online/online text/c=112,id=46050344 el icon] (Kathimerini 04 Feb 2008) http://portal.kathimerini.gr/4dcgi/ w articles kathworld 12 04/02/2008 220846 el icon] computer …   Wikipedia

  • Sifakis — Joseph Sifakis Joseph Sifakis en 2008 Joseph Sifakis est un chercheur en informatique français d origine grecque,[1] directeur de recherche au CNRS. Joseph Sifakis est ingénieur électricien de l’École Polytechni …   Wikipédia en Français

  • Sifakis — ist der Name folgender Personen: Joseph Sifakis (* 1946), griechisch französischer Informatiker und Turing Preisträger Michalis Sifakis (* 1984), griechischer Fußballspieler Diese Seite ist eine Begriffsklärung zur Untersche …   Deutsch Wikipedia

  • Joseph Esposito (mobster) — Joseph Diamond Joe Esposito (April 28, 1872 March 21, 1928) was a Prohibition era Chicago politician who was involved in bootlegging, extortion, prostitution and labor racketeering with the Genna Brothers. Born Giuseppe Esposito in Naples, Italy… …   Wikipedia

  • Joseph Zerilli — (December 10, 1897 October 30, 1977) was a Prohibition era Detroit gangster who would found the infamous Purple Gang. Zerilli would eventually head the crime family known as the Detroit Partnership from the 1930s through the 1970s. Early lifeHe… …   Wikipedia

  • Joseph Tangorra — Joseph Joey Flowers Tangorra (born 1950) is a New York mobster who became a caporegime, or captain, in the Lucchese crime family active in labor racketeering and murder. Family memberBorn in New York, Tangorra grew up in Little Italy, Manhattan.… …   Wikipedia

  • Joseph Esposito — Joseph Diamond Joe Esposito (28 avril 1872 21 mars 1928) était un politicien de Chicago pendant la prohibition, impliqué dans la vente illégale d alcool, l extortion et la prostitution. Il est parent avec Nicholas Esposito, membre de la famille… …   Wikipédia en Français

  • Joseph Saltis — Joseph Polack Joe Saltis [Soltis] (died 1947) was an early Prohibition gangster who, who with Frank McErlane, controlled bootlegging in the Southwest Side of Chicago, Illinois. Originally a Polish[1] saloon owner from Joliet, Illinois, Saltis… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”