Joseph Sifakis

Source: Wikipedia, the free encyclopedia.

Joseph Sifakis
University of Grenoble
Known forModel checking
AwardsNational Technical University of Athens
Notable studentsStavros Tripakis

Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek-French computer scientist. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.

Biography

Joseph Sifakis was born in

University of Grenoble,[1] where he also received a state doctorate in 1979.[2][3][4]

He is currently Research Director Emeritus for the

(2004–2012).

Sifakis held the INRIA-Schneider endowed industrial chair

SUSTech (2019).[8]

Sifakis has been the President of the Greek National Council for Research and Technology (2014–2016).

Work

Sifakis worked on system verification and the application of formal methods to system design. In his state doctorate[3] he studied the principles of the algorithmic verification method known later as model checking. In 1982, this technique was applied in Jean-Pierre Queille's PhD to develop the CESAR verification tool.[9]

Sifakis was the director of

CADP, and TGV and has developed theory for coping with state explosion
using abstraction techniques.

Over the past twenty years, his work has focused on rigorous component-based design using the BIP component framework[13] and more recently the design of trustworthy autonomous systems, self-driving cars in particular.

Awards

References

  1. ^ Sifakis, Joseph (22 March 1974). Modèles temporels des systèmes logiques (phdthesis thesis) (in French). Université Joseph-Fourier – Grenoble I.
  2. ^ Sifakis, Joseph (25 June 1979). Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique (phdthesis thesis) (in French). Institut National Polytechnique de Grenoble – INPG ; Université Joseph-Fourier – Grenoble I.
  3. ^ a b At the time when Joseph Sifakis was a graduate student, there existed in France two levels of PhDs, the higher one, the doctorat d'état ("state doctorate") being necessary to access professorships. It has since been replaced by the habilitation.
  4. ^ :a b There were two science universities in Grenoble: the Université scientifique et médicale de Grenoble (USMG, Grenoble-1), which was later renamed to Joseph Fourier University, and the Grenoble Institute of Technology(INPG), later renamed to Grenoble-INP. VERIMAG is a joint laboratory of CNRS, Joseph Fourier University and Grenoble-INP.
  5. ^ "ArtistDesign NoE – Strategic Management Board – Artist2 NoE". artist-embedded.org. Retrieved 28 September 2021.
  6. ^ Nouvelle, L'Usine (18 September 2008). "Une chaire Inria-Schneider" (in French). {{cite journal}}: Cite journal requires |journal= (help)
  7. ^ Evangelista, Sandy (30 September 2011). "News at EPFL".
  8. ^ "Welcome Sifakis @ SUCTech". Twitter. 30 January 2019. Retrieved 3 November 2023.
  9. PMID 9
    .
  10. .
  11. .
  12. .
  13. .
  14. ^ "Joseph Sifakis". awards.acm.org. Retrieved 4 October 2021.
  15. ^ "Awards – SEFI". Retrieved 4 October 2021.
  16. Journal officiel de la République Française
    of 17 May 2008.
  17. Journal officiel de la République Française
    of 14 July 2008.]
  18. ^ "Joseph Sifakis | Liste des membres de l'Académie des sciences / S | Listes par ordre alphabétique | Listes des membres | Membres | Nous connaître". academie-sciences.fr. Retrieved 3 September 2022.
  19. ^ "Academy of Europe: Sifakis Joseph". ae-info.org. Retrieved 3 September 2022.
  20. ^ https://academie-technologies-prod.s3.amazonaws.com/2020/06/24/06/46/20/8f0cbef7-2ba0-4ed4-be6f-cc9467251a42/LISTE%20MEMBRES%20AVEC%20COLLEGES%202020%20MAJ230620.pdf[bare URL PDF]
  21. ^ "Member Directory | American Academy of Arts and Sciences". amacad.org. Retrieved 3 September 2022.
  22. ^ "Professor Joseph Sifakis". NAE Website. Retrieved 3 September 2022.
  23. ^ "2019年中科院院士增选结果揭晓,64人当选_科学湃_澎湃新闻-The Paper". thepaper.cn. Retrieved 3 September 2022.

External links