| content |
Joseph Sifakis
This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Joseph_Sifakis".
Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a French computer scientist of Greek origin, 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 19461 and studied Electrical Engineering at the National Technical University of Athens and Computer Science at the University of Grenoble under a French scholarship2. Sifakis lives in France, whose citizenship he took in 19763 and works for the Centre national de la recherche scientifique at the VERIMAG laboratory near Grenoble, of which he is a founder41.
He is also coordinator of Artist2, the European Network of Excellence for research on Embedded Systems5.
External links
References
- ^ a b (Eleftherotypia - 05 Feb 2008) http://www.enet.gr/online/online_text/c=112,id=46050344 (Greek)
- ^ (Kathimerini - 04 Feb 2008) http://portal.kathimerini.gr/4dcgi/_w_articles_kathworld_12_04/02/2008_220846 (Greek)
- ^ 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 2905375086
- ^ CNRS website - http://www2.cnrs.fr/presse/communique/1280.htm (French)
- ^ ARTIST2 NoE - Strategic Management Board — Artist2 NoE
|
