Iosif Sifakis
(Redirecționat de la Joseph 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] Association for Computing Machinery[3] |
| 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.
| Acest articol biografic despre un grec este un ciot. Puteți ajuta Wikipedia prin completarea lui! |
- ^ 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) - ^ https://www.acm.org/media-center/2012/december/acm-fellows-named-for-computing-innovations-that-advance-technologies-in-information-age, accesat în Lipsește sau este vid:
|title=(ajutor)