Joseph Sifakis
Joseph Sifakis | |||||
---|---|---|---|---|---|
Direktisto de scienca esplorado en CNRS | |||||
![]() | |||||
Persona informo | |||||
Ιωσήφ Σηφάκης | |||||
Naskiĝo | 26-an de decembro 1946 (76-jara) en Iraklio | ||||
Lingvoj | greka [#] | ||||
Ŝtataneco | Grekio • Francio [#] | ||||
Alma mater | Nacia Politekniko de Ateno [#] | ||||
Profesio | |||||
Okupo | komputikisto • inĝeniero [#] | ||||
Laborkampo | komputiko [#] | ||||
Doktoreca konsilisto | Louis Bolliet [#] | ||||
| |||||
| |||||
En TTT | Oficiala retejo [#] | ||||
[#] | 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]