Joseph Sifakis

Joseph Sifakis
Direktisto de scienca esplorado en CNRS
Persona informo
Ιωσήφ Σηφάκης
Naskiĝo	26-an de decembro 1946 (1946-12-26) (76-jara) en Iraklio
Lingvoj	greka [#]
Ŝtataneco	Grekio • Francio [#]
Alma mater	Nacia Politekniko de Ateno [#]
Profesio
Okupo	komputikisto • inĝeniero [#]
Laborkampo	komputiko [#]
Doktoreca konsilisto	Louis Bolliet [#]
Honorigoj Honorigoj Komandoro de la Honora Legio • Grand Officer of the National Order of Merit • Premio Turing • Arĝenta medalo de la CNRS • honorary doctor of the École polytechnique fédérale de Lausanne • ACM Fellow [#]
Membrecoj Membrecoj Academia Europaea • French Academy of Technologies • Usona Akademio de Artoj kaj Sciencoj • Nacia Akademio de Inĝenierio • Akademio de Sciencoj de Francio [#]
En TTT	Oficiala retejo [#]
[#]	Fonto: Vikidatumoj

Joseph SIFAKIS (Iraklio, Kreto, 26-an de decembro 1946) estas greka-franca komputikisto, li ricevis la Premion Turing en 2007 kune kun Edmund Clarke kaj E. Allen Emerson, pro ilia laboro en la metodo konita kiel model checking.