Iosif Sifakis
Iosif Sifakis | |
Iosif Sifakis | |
Date personale | |
---|---|
Născut | 1946 Iraklion, Grecia |
Cetățenie | Grecia Franța |
Ocupație | informatician inginer cercetător |
Limbi vorbite | limba greacă limba franceză |
Activitate | |
Rezidență | Grecia Franța |
Domeniu | informatician |
Instituție | Centrul Național Francez de Cercetare Științifică |
Alma Mater | Universitatea Politehnică Națională din Atena[*] |
Organizații | Academia Europaea[*][1] Académie des technologies[*][[Académie des technologies (learned society with an emphasis on technology)|]] Academia Americană de Arte și Științe[*] National Academy of Engineering[*][[National Academy of Engineering (engineering branch of the United States National Academies)|]] Academia Franceză de Științe Academia Națională de Științe a Statelor Unite ale Americii[*][2] |
Cunoscut pentru | Model checking |
Premii | Premiul Turing, 2007 |
Prezență online | |
site web oficial | |
Modifică date / text |
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.
|
Acest articol biografic despre un grec este un ciot. Puteți ajuta Wikipedia prin completarea lui! |