Joseph Sifakis

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.

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 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