Joseph Sifakis Explained

Joseph Sifakis
Birth Place:Heraklion, Crete, Greece
Citizenship:Greek-French
Field:Computer science
Work Institution:CNRS, École Polytechnique Fédérale de Lausanne
Alma Mater:National Technical University of Athens
University of Grenoble
Notable Students:Stavros Tripakis
Known For:Model checking
Awards:National Technical University of AthensUniversity of Grenoble

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 Heraklion, Crete in 1946 and lives in France. He studied Electrical Engineering at the National Technical University of Athens and Computer Science at the University of Grenoble under a French scholarship. He received his engineering doctorate in 1974 from the University of Grenoble,[1] where he also received a state doctorate in 1979.[2] [3] [4]

He is currently Research Director Emeritus for the Centre national de la recherche scientifique at VERIMAG laboratory near Grenoble, of which he is the founder. Sifakis has been a leading figure in the fields of Model Checking and Embedded Systems. He founded with Edmund M. Clarke and Amir Pnueli the CAV conference, organized for the first time in Grenoble in 1989. He has been the coordinator of the ARTIST European Network of Excellence for research on Embedded Systems[5] (2004–2012).

Sifakis held the INRIA-Schneider endowed industrial chair[6] (2008–2011) and has been a full professor[7] and the Director of the «Rigorous System Design Laboratory » at the School of Computer and Communication Sciences of EPFL (2011–2016). He has been visiting professor at Tsinghua University (2011–2012), and at 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 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 VERIMAG for fourteen years. Established initially as a mixed industrial laboratory between CNRS and Verilog SA., VERIMAG has collaborated with Airbus and Schneider Electric to develop methods and tools for the development of safety critical systems, in particular the SCADE synchronous programming environment based on the Lustre Language. Sifakis has worked on the verification of timed and hybrid systems with Thomas Henzinger[10] [11] and the synthesis of timed systems with Amir Pnueli and Oded Maler[12] . He has participated to the development of verification tools including the IF toolset, Kronos, 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

External links

Notes and References

  1. Modèles temporels des systèmes logiques. Université Joseph-Fourier – Grenoble I. 1974-03-22. phdthesis. fr. Joseph. Sifakis.
  2. Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique. Institut National Polytechnique de Grenoble – INPG; Université Joseph-Fourier – Grenoble I. 1979-06-25. phdthesis. fr. Joseph. Sifakis.
  3. 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. [Joseph Sifakis#cite ref-Grenoble university 7-0|:'''''<sup>a</sup>''''']
  5. Web site: ArtistDesign NoE – Strategic Management Board – Artist2 NoE. 2021-09-28. artist-embedded.org.
  6. 2008-09-18. Une chaire Inria-Schneider. fr. Nouvelle . L'Usine .
  7. Web site: News at EPFL. 30 September 2011 . Evangelista . Sandy .
  8. Web site: Welcome Sifakis @ SUCTech. 30 January 2019 . 2023-11-03. Twitter.
  9. Marniemi. J.. Parkki. M. G.. 1975-09-01. Radiochemical assay of glutathione S-epoxide transferase and its enhancement by phenobarbital in rat liver in vivo. Biochemical Pharmacology. 24. 17. 1569–1572. 10.1016/0006-2952(75)90080-5. 0006-2952. 9.
  10. Alur. R.. Courcoubetis. C.. Halbwachs. N.. Henzinger. T. A.. Ho. P. -H.. Nicollin. X.. Olivero. A.. Sifakis. J.. Yovine. S.. 1995-02-06. The algorithmic analysis of hybrid systems. Theoretical Computer Science. en. 138. 1. 3–34. 10.1016/0304-3975(94)00202-T. 0304-3975. free.
  11. Henzinger. T. A.. Nicollin. X.. Sifakis. J.. Yovine. S.. 1994-06-01. Symbolic Model Checking for Real-Time Systems. Information and Computation. en. 111. 2. 193–244. 10.1006/inco.1994.1045. 0890-5401. free. 1813/6182. free.
  12. Book: Maler. Oded. Pnueli. Amir. Sifakis. Joseph. On the synthesis of discrete controllers for timed systems: An extended abstract . Stacs 95 . 1995. Mayr. Ernst W.. Puech. Claude. https://link.springer.com/chapter/10.1007/3-540-59042-0_76. Lecture Notes in Computer Science. 900 . en. Berlin, Heidelberg. Springer. 229–242. 10.1007/3-540-59042-0_76. 978-3-540-49175-0.
  13. Book: Basu. A.. Bozga. M.. Sifakis. J.. Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) . Modeling Heterogeneous Real-time Components in BIP . September 2006. https://ieeexplore.ieee.org/document/1698716. 3–12. 10.1109/SEFM.2006.27. 0-7695-2678-0 . 1926067 .
  14. Web site: Joseph Sifakis . awards.acm.org . 4 October 2021 . en.
  15. Web site: Awards – SEFI . 4 October 2021.
  16. Decree of 16 May 2008 published in the Journal officiel de la République Française of 17 May 2008.
  17. Decree of 13 July 2011 published in the Journal officiel de la République Française of 14 July 2008.
  18. Web site: Joseph Sifakis Liste des membres de l'Académie des sciences / S Listes par ordre alphabétique Listes des membres Membres Nous connaître . 2022-09-03 . academie-sciences.fr.
  19. Web site: Academy of Europe: Sifakis Joseph . 2022-09-03 . ae-info.org.
  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
  21. Web site: Member Directory American Academy of Arts and Sciences . 2022-09-03 . amacad.org.
  22. Web site: Professor Joseph Sifakis . 2022-09-03 . NAE Website.
  23. Web site: 2019年中科院院士增选结果揭晓，64人当选_科学湃_澎湃新闻-The Paper . 2022-09-03 . thepaper.cn.

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Joseph Sifakis".

Except where otherwise indicated, Everything.Explained.Today is © Copyright 2009-2024, A B Cryer, All Rights Reserved. Cookie policy.