Joseph Sifakis

Honorigoj
Honorigoj	(2012) ACM Fellow (en) ; (2007) Premio Turing; (2001) Arĝenta medalo de la CNRS; Grand Officer of the National Order of Merit (en) ; honorary doctor of the École polytechnique fédérale de Lausanne (en) ; Komandoro de la Honora Legio ; vd

Postenoj
Postenoj	Direktisto de scienca esplorado en CNRS vd

**Joseph Sifakis**
Joseph Sifakis
Persona informo
	Ιωσήφ Σηφάκης
Naskiĝo	26-an de decembro 1946 (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	(2012) ACM Fellow (en) ; (2007) Premio Turing; (2001) Arĝenta medalo de la CNRS; Grand Officer of the National Order of Merit (en) ; honorary doctor of the École polytechnique fédérale de Lausanne (en) ; Komandoro de la Honora Legio ; vd
Membrecoj
Membrecoj	Usona Nacia Akademio de Sciencoj (2024–); Asocio por Komputila Maŝinaro (ACM Fellow (en) ) (2012–); Academia Europaea (2008–); French Academy of Technologies (en) ; Usona Akademio de Artoj kaj Sciencoj ; Akademio de Sciencoj de Francio ; Nacia Akademio de Inĝenierio vd
En TTT	Oficiala retejo vd
vd	Fonto: Vikidatumoj
	v • d • r

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.^[1]

Referencoj