Jump to content

Joseph Sifakis: Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
Tiligadis (talk | contribs)
24 edits
No edit summary
Tiligadis (talk | contribs)
24 edits
No edit summary
Line 1: Line 1:
{{Use dmy dates|date=March 2020}}
{{Use dmy dates|date=March 2020}}
{{Infobox scientist
{{Infobox scientist
| name = Joseph Sifakis
| name = Joseph Sifakis
| image = Joseph_Sifakis_2018.jpg
| image = Joseph_Sifakis_2018.jpg
| caption =
| caption =
| birth_date = {{b-da|26 December 1946}}
| birth_date = {{b-da|26 December 1946}}
| birth_place = [[Heraklion]], [[Crete]], [[Greece]]
| birth_place = [[Heraklion]], [[Crete]], [[Greece]]
| death_date =
| death_date =
| death_place =
| death_place =
| residence =
| residence =
| citizenship = [[Greeks|Greek]]-[[French people|French]]
| citizenship = [[Greeks|Greek]]-[[French people|French]]
| field = [[Computer science]]
| field = [[Computer science]]
| work_institution = [[CNRS]], [[École Polytechnique Fédérale de Lausanne]]
| work_institution = [[CNRS]], [[École Polytechnique Fédérale de Lausanne]]
| alma_mater = [[National Technical University of Athens]] <br />[[University of Grenoble]]
| alma_mater = [[National Technical University of Athens]] <br />[[University of Grenoble]]
| doctoral_advisor =
| doctoral_advisor =
| doctoral_students =
| doctoral_students =
| known_for = Development of [[model checking]]
| known_for = Development of [[model checking]]
⚫
| awards = [[National Technical University of Athens]]
| prizes = NAE (2017)<br>ACM [[Turing Award]] (2007) <br /> [[Commandeur de la Légion d'honneur]] <br /> Grand officier de l'[[ordre national du Mérite]]<br /> [[Médaille d'argent du CNRS]]
[[University of Grenoble]]
| prizes =
}}
}}
'''Joseph Sifakis''' ({{lang-el|Ιωσήφ Σηφάκης}}) is a [[Greeks|Greek]]-[[French people|French]] [[computer scientist]] and academic with French and Greek citizenship.<ref name="revues-plurielles.org">''[http://revues-plurielles.org/_uploads/pdf/6_95_6.pdf Aperçu historique de l’immigration grecque à Grenoble]'', Evangélia Moussouri, in ''Écarts d'identités'' n⁰95-96, ISSN 1252-6665, reprinting information from an interview of Joseph Sifakis in ''Des grecs, les grecs de Grenoble'', Musée Dauphinois, {{ISBN|2-905375-08-6}}</ref> He received the 2007 [[Turing Award]], along with [[Edmund M. Clarke]] and [[E. Allen Emerson]], for his work on [[model checking]].
'''Joseph Sifakis''' ([[Greek language|Greek]]: Ιωσήφ Σηφάκης) is a [[Greeks|Greek]]-[[French people|French]] [[computer scientist]] and academic with French and Greek citizenship. He received the 2007 [[Turing Award]], along with [[Edmund M. Clarke]] and [[E. Allen Emerson]], for his work on [[model checking]].


==Biography==
==Biography==
Joseph Sifakis was born in [[Heraklion]], [[Crete]] in 1946<ref name="enet.gr">(''[[Eleftherotypia]]'' - 5 Feb 2008) [http://www.enet.gr/online/online_text/c=112,id=46050344 Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής] {{webarchive|url=https://web.archive.org/web/20080207020721/http://www.enet.gr/online/online_text/c%3D112%2Cid%3D46050344 |date= 7 February 2008 }} {{in lang|el}}</ref> and studied [[Electrical Engineering]] at the [[National Technical University of Athens]] and [[Computer Science]] at the [[University of Grenoble]] under a French [[scholarship]].<ref name="kathimerini">([[Kathimerini]] - 4 Feb 2008) [http://portal.kathimerini.gr/4dcgi/_w_articles_kathworld_12_04/02/2008_220846 Το βραβείο Turing 2007 σε Έλληνα ερευνητή] {{webarchive|url=https://web.archive.org/web/20110716055312/http://portal.kathimerini.gr/4dcgi/_w_articles_kathworld_12_04/02/2008_220846 |date=16 July 2011 }} {{in lang|el}}</ref> He received a [[PhD|doctorate]] in 1974 from the University of Grenoble,<ref>''[http://tel.archives-ouvertes.fr/tel-00010517/en/ Modèles temporels des systèmes logiques]'' ("Temporal models of logic systems"), Université scientifique et médicale de Grenoble, 1976, under the supervision of [[Jean Kuntzmann]]</ref> where he also received a state doctorate in 1979.<ref>''[http://tel.archives-ouvertes.fr/tel-00010598/en/ Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique]'' ("Control of asynchronous systems: concepts, properties, [[static analysis]]"), USMG and INPG, 1979 under the supervision of [[Louis Bolliet]]</ref><ref>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 [[professor]]ships. It has since been replaced by the [[habilitation]].</ref><ref name="Grenoble university">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.</ref>
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 [[PhD|doctorate]] in 1974 from the [[University of Grenoble]]<ref>{{Cite thesis|title=Modèles temporels des systèmes logiques|url=https://tel.archives-ouvertes.fr/tel-00010517|publisher=Université Joseph-Fourier - Grenoble I|date=1974-03-22|degree=phdthesis|language=fr|first=Joseph|last=Sifakis}}</ref>, where he also received a state doctorate in 1979.<ref>{{Cite thesis|title=Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique|url=https://tel.archives-ouvertes.fr/tel-00010598|publisher=Institut National Polytechnique de Grenoble - INPG ; Université Joseph-Fourier - Grenoble I|date=1979-06-25|degree=phdthesis|language=fr|first=Joseph|last=Sifakis}}</ref><ref name=":0">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 [[Professor|professorships]]. It has since been replaced by the [[habilitation]].</ref><ref>[[Joseph Sifakis#cite%20ref-Grenoble%20university%207-0|:'''''<sup>a</sup>''''']] [[Joseph Sifakis#cite%20ref-Grenoble%20university%207-1|'''''<sup>b</sup>''''']] 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.</ref>


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<ref>{{Cite web|title=CNRS website - Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007 (in French)|url=https://en.wikipedia.org/wiki/Centre_national_de_la_recherche_scientifique|url-status=live}}</ref>. Sifakis has been a leading figure in the fields of [[Model checking|Model Checking]] and [[Embedded system|Embedded System]]<nowiki/>s. He founded with [[Edmund M. Clarke]] and [[Amir Pnueli]] the [[Computer Aided Verification|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|Embedded Systems]]<ref>{{Cite web|title=ArtistDesign NoE - Strategic Management Board — Artist2 NoE|url=http://www.artist-embedded.org/artist/-Strategic-Management-Board-.html|access-date=2021-09-28|website=www.artist-embedded.org}}</ref> (2004-2012).
He was awarded in 2009 a Dr. h.c. from the [[École Polytechnique Fédérale de Lausanne]], Switzerland, where he has been appointed Full Professor in 2011<ref>[http://actu.epfl.ch/news/epfl-appoints-new-professors-3/ News at EPFL]</ref> (at the School of Computer and Communication Sciences).


Sifakis held the INRIA-Schneider endowed industrial chair <ref>{{Cite journal|date=2008-09-18|title=Une chaire Inria-Schneider|url=https://www.usinenouvelle.com/article/une-chaire-inria-schneider.N62908|language=fr}}</ref> (2008-2011) and has been  a full Professor<ref>{{Cite web|title=News at EPFL|url=http://actu.epfl.ch/news/epfl-appoints-new-professors-3/|url-status=live}}</ref> and the Director of the «Rigorous System Design Laboratory » at the [https://www.epfl.ch/schools/ic/ School of Computer and Communication Sciences] of  [[École Polytechnique Fédérale de Lausanne|EPFL]] (2011-2016). He has been visiting professor at [https://www.tsinghua.edu.cn/en/index.htm Tsinghua University] (2011-2012) and is currently a visiting professor at [https://www.sustech.edu.cn/en/ SUSTech University].
Sifakis lives in [[France]], whose citizenship he took in 1976<ref name="revues-plurielles.org"/> and works for the [[Centre national de la recherche scientifique]] at the [[VERIMAG]] laboratory near [[Grenoble]],<ref name="Grenoble university"/> of which he is a founder.<ref name="enet.gr"/><ref name="cnrs">[[Centre national de la recherche scientifique|CNRS]] website - [http://www2.cnrs.fr/presse/communique/1280.htm Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007] {{in lang|fr}}</ref>


Sifakis has been the President of the Greek National Council for Research and Technology (2014-2016).
He is also coordinator of [[Artist2]], the European Network of Excellence for research on [[embedded systems|Embedded Systems]].<ref name="artist2">[http://www.artist-embedded.org/artist/-Strategic-Management-Board-.html ARTIST2 NoE - Strategic Management Board – Artist2 NoE<!-- Bot generated title -->]</ref>


⚫
==Work==
He is a grand officer of France's [[Ordre national du Mérite|national order of merit]]<ref>[http://www.legifrance.gouv.fr/affichTexte.do;jsessionid=?cidTexte=JORFTEXT000018800903&dateTexte=&oldAction=rechJO Decree of 16 May 2008] published in the ''[[Journal officiel de la République Française]]'' of 17 May 2008.</ref> and commander in France's [[Legion of Honour]].<ref>[http://www.legifrance.gouv.fr/affichTexte.do?cidTexte=JORFTEXT000024361371 Decree of 13 July 2011] published in the ''[[Journal officiel de la République Française]]'' of 14 July 2008.]</ref>
Sifakis worked on system verification and the application of formal methods to system design. In his state doctorate<ref name=":0" /> he studied the principles of the algorithmic verification method known later as [[Model checking|Model Checking]]. In 1982, this technique has been applied in Jean-Pierre Queille’s Ph.D. to develop the CESAR verification tool<ref>{{Cite journal|last=Marniemi|first=J.|last2=Parkki|first2=M. G.|date=1975-09-01|title=Radiochemical assay of glutathione S-epoxide transferase and its enhancement by phenobarbital in rat liver in vivo|url=https://pubmed.ncbi.nlm.nih.gov/9|journal=Biochemical Pharmacology|volume=24|issue=17|pages=1569–1572|doi=10.1016/0006-2952(75)90080-5|issn=0006-2952|pmid=9}}</ref>.


Sifakis was the director of [[VERIMAG]] for fourteen years. Established initially as a mixed industrial laboratory between [[Centre national de la recherche scientifique|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 [https://www.ansys.com/products/embedded-software/ansys-scade-suite SCADE] synchronous programming environment based on the [[Lustre (programming language|Lustre Language]]. Sifakis has worked on the verification of timed and hybrid systems with [https://pub.ist.ac.at/~tah/ Thomas Henzinger]<ref>{{Cite journal|last=Alur|first=R.|last2=Courcoubetis|first2=C.|last3=Halbwachs|first3=N.|last4=Henzinger|first4=T. A.|last5=Ho|first5=P. -H.|last6=Nicollin|first6=X.|last7=Olivero|first7=A.|last8=Sifakis|first8=J.|last9=Yovine|first9=S.|date=1995-02-06|title=The algorithmic analysis of hybrid systems|url=https://www.sciencedirect.com/science/article/pii/030439759400202T|journal=Theoretical Computer Science|series=Hybrid Systems|language=en|volume=138|issue=1|pages=3–34|doi=10.1016/0304-3975(94)00202-T|issn=0304-3975}}</ref><ref>{{Cite journal|last=Henzinger|first=T. A.|last2=Nicollin|first2=X.|last3=Sifakis|first3=J.|last4=Yovine|first4=S.|date=1994-06-01|title=Symbolic Model Checking for Real-Time Systems|url=https://www.sciencedirect.com/science/article/pii/S0890540184710455|journal=Information and Computation|language=en|volume=111|issue=2|pages=193–244|doi=10.1006/inco.1994.1045|issn=0890-5401}}</ref> and the synthesis of timed systems with [[Amir Pnueli]] and [http://www-verimag.imag.fr/~maler/ Oded Maler]<ref>{{Cite journal|last=Maler|first=Oded|last2=Pnueli|first2=Amir|last3=Sifakis|first3=Joseph|date=1995|editor-last=Mayr|editor-first=Ernst W.|editor2-last=Puech|editor2-first=Claude|title=On the synthesis of discrete controllers for timed systems|url=https://link.springer.com/chapter/10.1007/3-540-59042-0_76|journal=STACS 95|series=Lecture Notes in Computer Science|language=en|location=Berlin, Heidelberg|publisher=Springer|pages=229–242|doi=10.1007/3-540-59042-0_76|isbn=978-3-540-49175-0}}</ref>'''.''' He has participated to the development of verification tools including the IF toolset,  [https://www-verimag.imag.fr/DIST-TOOLS/TEMPO/kronos/ Kronos],  [http://cadp.inria.fr/ CADP] and  [http://www.irisa.fr/vertecs/Logiciels/TGV.html TGV] and has developed theory for coping with [https://en.wikipedia.org/w/index.php?title=State_explosion_problem&redirect=no state explosion] using abstraction techniques.
He received the Leonardo da Vinci Medal in 2012. In 2009 he received the Award of the Hellenic Parliament Foundation for Parliamentarism and Democracy. He is a commander of the [[Order of the Phoenix (Greece)|Greek National Order of the Phoenix]].
⚫
In 2019, he was elected a Foreign Member of the [[Chinese Academy of Sciences]]<ref>{{cite web|url= https://www.thepaper.cn/newsDetail_forward_5030259|title=Elected Members of The Chinese Academy of Sciences, 2019}}</ref>


Over the past twenty years, his work focuses on rigorous component based design using the BIP component framework<ref>{{Cite journal|last=Basu|first=A.|last2=Bozga|first2=M.|last3=Sifakis|first3=J.|date=2006-09|title=Modeling Heterogeneous Real-time Components in BIP|url=https://ieeexplore.ieee.org/abstract/document/1698716|journal=Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)|pages=3–12|doi=10.1109/SEFM.2006.27}}</ref> and more recently the design of trustworthy autonomous systems, self-driving cars in particular.
⚫
==Work==

⚫
== Professional recognition, Awards and Distinctions ==


* Turing Award 2007 http://awards.acm.org/citation.cfm?id=1167964&srt=all&aw=140&ao=AMTURING&yr=2007
⚫
==Professional recognition==
* Silver Medal of CNRS, 2001
* Leonardo da Vinci Medal 2012 https://www.sefi.be/activities/recognitions/#1498654424246-f2caaa57-9bc5
* Grand Officer of the National Order of Merit<ref>Decree of 16 May 2008 published in the ''[[Journal officiel de la République Française]]'' of 17 May 2008.</ref> , France, 2008
* Commander of the Legion of Honor<ref>Decree of 13 July 2011 published in the ''[[Journal officiel de la République Française]]'' of 14 July 2008.]</ref>, France, 2011
* Award of the Greek Parliament for Commonwealth and Democracy, 2010
* Commander of the Order of the Phoenix, Greece 2013
⚫
* Member of the French Academy of Sciences, 2010
* Member of Academia Europea, 2008    
* Member of the French Academy of Engineering, 2008
* Commander of the Greek Order of the Phoenix, 2012
* Member of the American Academy of Arts and Sciences, 2015
* Member of the National Academy of Engineering, 2017
⚫
* Foreign member of the Chinese Academy of Sciences<ref>"Elected Members of The Chinese Academy of Sciences, 2019".</ref>, 2019


==References==
==References==
Line 51: Line 68:


{{DEFAULTSORT:Sifakis, Joseph}}
{{DEFAULTSORT:Sifakis, Joseph}}
[[Category:1946 births]]
[[Category:Living people]]
[[Category:Scientists from Heraklion]]
[[Category:Scholars from Crete]]
⚫
[[Category:National Technical University of Athens alumni]]
[[Category:Greek computer scientists]]
[[Category:Greek emigrants to France]]
[[Category:Grenoble Institute of Technology alumni]]
[[Category:French computer scientists]]
[[Category:20th-century French scientists]]
[[Category:CNRS scientists]]
[[Category:École Polytechnique Fédérale de Lausanne faculty]]
[[Category:Formal methods people]]
[[Category:CNRS awards]]
[[Category:Commandeurs of the Légion d'honneur]]
[[Category:Turing Award laureates]]
⚫
[[Category:Foreign members of the Chinese Academy of Sciences]]

Revision as of 08:19, 4 October 2021

Joseph Sifakis
Born26 December 1946 (1946-12-26) (age 77)
Heraklion, Crete, Greece
CitizenshipGreek-French
Alma materNational Technical University of Athens
University of Grenoble
Known forDevelopment of model checking
AwardsNational Technical University of Athens University of Grenoble
Scientific career
FieldsComputer science
InstitutionsCNRS, École Polytechnique Fédérale de Lausanne

Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek-French computer scientist and academic with French and Greek citizenship. 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[5]. 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[6] (2004-2012).

Sifakis held the INRIA-Schneider endowed industrial chair [7] (2008-2011) and has been  a full Professor[8] 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 is currently a visiting professor at SUSTech University.

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 has been applied in Jean-Pierre Queille’s Ph.D. 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 focuses 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.

Professional recognition, Awards and Distinctions

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. ^ "CNRS website - Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007 (in French)".{{cite web}}: CS1 maint: url-status (link)
  6. ^ "ArtistDesign NoE - Strategic Management Board — Artist2 NoE". www.artist-embedded.org. Retrieved 28 September 2021.
  7. ^ "Une chaire Inria-Schneider" (in French). 18 September 2008. {{cite journal}}: Cite journal requires |journal= (help)
  8. ^ "News at EPFL".{{cite web}}: CS1 maint: url-status (link)
  9. ^ Marniemi, J.; Parkki, M. G. (1 September 1975). "Radiochemical assay of glutathione S-epoxide transferase and its enhancement by phenobarbital in rat liver in vivo". Biochemical Pharmacology. 24 (17): 1569–1572. doi:10.1016/0006-2952(75)90080-5. ISSN 0006-2952. PMID 9.
  10. ^ Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P. -H.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S. (6 February 1995). "The algorithmic analysis of hybrid systems". Theoretical Computer Science. Hybrid Systems. 138 (1): 3–34. doi:10.1016/0304-3975(94)00202-T. ISSN 0304-3975.
  11. ^ Henzinger, T. A.; Nicollin, X.; Sifakis, J.; Yovine, S. (1 June 1994). "Symbolic Model Checking for Real-Time Systems". Information and Computation. 111 (2): 193–244. doi:10.1006/inco.1994.1045. ISSN 0890-5401.
  12. ^ Maler, Oded; Pnueli, Amir; Sifakis, Joseph (1995). Mayr, Ernst W.; Puech, Claude (eds.). "On the synthesis of discrete controllers for timed systems". STACS 95. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer: 229–242. doi:10.1007/3-540-59042-0_76. ISBN 978-3-540-49175-0.
  13. ^ Basu, A.; Bozga, M.; Sifakis, J. (2006-09). "Modeling Heterogeneous Real-time Components in BIP". Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06): 3–12. doi:10.1109/SEFM.2006.27. {{cite journal}}: Check date values in: |date= (help)
  14. ^ Decree of 16 May 2008 published in the Journal officiel de la République Française of 17 May 2008.
  15. ^ Decree of 13 July 2011 published in the Journal officiel de la République Française of 14 July 2008.]
  16. ^ "Elected Members of The Chinese Academy of Sciences, 2019".

External links

Wikimedia Commons has media related to Joseph Sifakis.


Retrieved from "https://en.wikipedia.org/w/index.php?title=Joseph_Sifakis&oldid=1048106510"