Joseph Sifakis

Joseph Sifakis
Persona informo
Ιωσήφ Σηφάκης
Naskiĝo	26-an de decembro 1946 (1946-12-26) (77-jaraĝa) en Iraklio
Lingvoj	greka • franca vd
Ŝtataneco	Grekio Francio vd
Alma mater	Nacia Politekniko de Ateno vd
Profesio
Okupo	komputosciencisto inĝeniero scienca esploristo vd
Laborkampo	Komputiko vd
Doktoreca konsilisto	Louis Bolliet • Jean Kuntzmann vd
Postenoj Postenoj Direktisto de scienca esplorado en CNRS vd
Honorigoj Honorigoj (2007)  Premio Turing (2001)  Arĝenta medalo de la CNRS  honorary doctor of the École polytechnique fédérale de Lausanne (en)  Komandoro de la Honora Legio  Grand Officer of the National Order of Merit (en)  ACM Fellow (en) vd
Membrecoj Membrecoj Usona Nacia Akademio de Sciencoj (2024–) Academia Europaea (2008–) Akademio de Sciencoj de Francio French Academy of Technologies (en) Nacia Akademio de Inĝenierio Usona Akademio de Artoj kaj Sciencoj vd
En TTT	Oficiala retejo vd
vd	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.