Joseph Sifakis

El Vikipedio, la libera enciklopedio
Joseph Sifakis
Direktisto de scienca esplorado en CNRS
Joseph Sifakis mg 4603.jpg
Persona informo
Ιωσήφ Σηφάκης
Naskiĝo 26-an de decembro 1946 (1946-12-26) (76-jara)
en Iraklio
Lingvoj greka [#]
Ŝtataneco GrekioFrancio [#]
Alma mater Nacia Politekniko de Ateno [#]
Profesio
Okupo komputikistoinĝeniero [#]
Laborkampo komputiko [#]
Doktoreca konsilisto Louis Bolliet [#]
En TTT Oficiala retejo [#]
[#] Fonto: Vikidatumoj
Wikidata-logo.svg
Information icon.svg
vdr

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[redakti | redakti fonton]