Iosif Sifakis

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Iosif Sifakis
Iosif Sifakis
Iosif Sifakis
Născut 1946
Iraklion, Grecia
Rezidență Grecia Grecia
Franţa Franța
Naționalitate grec
Domeniu informatician
Instituție Centrul Național Francez de Cercetare Științifică
Alma Mater Universitatea Tehnică Națională, Atena
Universitatea Grenoble
Cunoscut pentru Model checking
Premii Premiul Turing, 2007

Iosif Sifakis (în greacă Ιωσήφ Σηφάκης, în franceză Joseph Sifakis; n. 1946, Iraklion, Grecia) este un informatician grec, laureat al Premiului Turing în 2007 împreună cu E. Allen Emerson și Edmund Clarke, pentru dezvoltarea conceptului de model checking.