Joseph Sifakis

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

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

Referencoj

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.