Joseph Sifakis
Computer Scientist, Academic
1946 –
Who is Joseph Sifakis?
Joseph Sifakis is a Greek-born French computer scientist, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
He was born in Heraklion, Crete in 1946 and studied Electrical Engineering at the National Technical University of Athens and Computer Science at the University of Grenoble under a French scholarship. He received a doctorate in 1974 from the University of Grenoble, where he also received a state doctorate in 1979.
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.
Sifakis lives in France, whose citizenship he took in 1976 and works for the Centre national de la recherche scientifique at the VERIMAG laboratory near Grenoble, of which he is a founder.
He is also coordinator of Artist2, the European Network of Excellence for research on Embedded Systems.
He is a grand officer of France's national order of merit and commander in France's Legion of Honour.
We need you!
Help us build the largest biographies collection on the web!
- Born
- Dec 26, 1946
Heraklion - Also known as
- Сифакис, Иосиф
- Иосиф Сифакис
- 约瑟夫·斯发基斯
- Nationality
- France
- Greece
- Profession
- Education
- University of Grenoble
Computer Science - National Technical University of Athens
Electrical engineering
- University of Grenoble
- Employment
- Titles in academia, VERIMAG Laboratory
(1993 - 2006)
- Titles in academia, VERIMAG Laboratory
- Lived in
- France
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Joseph Sifakis." Biographies.net. STANDS4 LLC, 2024. Web. 28 Apr. 2024. <https://www.biographies.net/people/en/joseph_sifakis>.
Discuss this Joseph Sifakis biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In