Joseph Sifakis

Joseph Sifakis
Persona informo
Ιωσήφ Σηφάκης
Naskiĝo	26-an de decembro 1946 (1946-12-26) (76-jaraĝa) en Iraklio
Lingvoj	greka 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 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 vd
Membrecoj Membrecoj Academia Europaea • French Academy of Technologies • Usona Akademio de Artoj kaj Sciencoj • Nacia Akademio de Inĝenierio • Akademio de Sciencoj de Francio 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.