Quantcast
peoplepill id: joseph-sifakis
JS
1 views today
1 views this week
Joseph Sifakis

Joseph Sifakis

Greek-French computer scientist
Joseph Sifakis
The basics

Quick Facts

Intro Greek-French computer scientist
A.K.A. Sifakis
Is Computer scientist Engineer
From Greece France
Type Engineering Technology Science
Gender male
Birth 26 December 1946, Heraklion, Greece
Age: 73 years
Star sign CapricornCapricorn
The details

Biography

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

Biography

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 (at the School of Computer and Communication Sciences).

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.

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 Greek National Order of the Phoenix.

The contents of this page are sourced from Wikipedia article on 10 Mar 2020. The contents are available under the CC BY-SA 4.0 license.
comments so far.
Comments
Reference sources
References
http://revues-plurielles.org/_uploads/pdf/6_95_6.pdf
http://www.enet.gr/online/online_text/c=112,id=46050344
https://web.archive.org/web/20080207020721/http://www.enet.gr/online/online_text/c=112,id=46050344
http://portal.kathimerini.gr/4dcgi/_w_articles_kathworld_12_04/02/2008_220846
https://web.archive.org/web/20110716055312/http://portal.kathimerini.gr/4dcgi/_w_articles_kathworld_12_04/02/2008_220846
http://tel.archives-ouvertes.fr/tel-00010517/en/
http://tel.archives-ouvertes.fr/tel-00010598/en/
http://actu.epfl.ch/news/epfl-appoints-new-professors-3/
http://www2.cnrs.fr/presse/communique/1280.htm
http://www.artist-embedded.org/artist/-Strategic-Management-Board-.html
http://www.legifrance.gouv.fr/affichTexte.do;jsessionid=?cidTexte=JORFTEXT000018800903&dateTexte=&oldAction=rechJO
arrow-left arrow-right arrow-up arrow-down instagram whatsapp myspace quora soundcloud spotify tumblr vk website youtube stumbleupon comments comments pandora gplay iheart tunein pandora gplay iheart tunein itunes