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[*] Academia Americană de Arte și Științe[*] National Academy of Engineering[*] 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 | |
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.
|
- ^ https://www.ae-info.org/ae/User/Sifakis_Joseph Lipsește sau este vid:
|title=
(ajutor) - ^ https://www.nasonline.org/news-and-multimedia/news/2024-nas-election.html Lipsește sau este vid:
|title=
(ajutor)