Joseph Sifakis

Joseph Sifakis

Joseph Sifakis en 2008.

Fonction

Directeur de recherche au CNRS

Biographie

Naissance	26 décembre 1946 (77 ans) Héraklion
Nom dans la langue maternelle	Ιωσήφ Σηφάκης
Nationalités	grecque française
Formation	Université polytechnique nationale d'Athènes
Activités	Informaticien, ingénieur, chercheur

Autres informations

A travaillé pour	Centre national de la recherche scientifique École polytechnique fédérale de Lausanne
Membre de	Academia Europaea (2008) Association for Computing Machinery (2012) Académie américaine des sciences (2024) Académie américaine des arts et des sciences Académie des technologies Académie des sciences Académie nationale d'ingénierie des États-Unis
Directeurs de thèse	Jean Kuntzmann (1974), Louis Bolliet (d)
Site web	(en) www-verimag.imag.fr/~sifakis
Distinctions	Prix Turing (2007) Liste détaillée Médaille d'argent du CNRS (2001) Prix Turing (2007) ACM Fellow (2012) Grand officier de l'ordre national du Mérite Docteur honoris causa de l'École polytechnique fédérale de Lausanne Commandeur de la Légion d'honneur‎

modifier - modifier le code - modifier Wikidata

Joseph Sifakis (en grec moderne : Ιωσήφ Σηφάκης, Iosif Sifakis), né le 26 décembre 1946 à Héraklion (Crète), est un chercheur en informatique français d'origine grecque^[1], directeur de recherche au CNRS et membre de l'Académie des sciences.

En 2007, il est le premier lauréat français à recevoir le prix Turing^[2]. Il a fondé et dirige le laboratoire Verimag à Grenoble qui pousse la recherche sur les systèmes embarqués critiques^[3] et offre des solutions de sécurité aux entreprises.