Iosif Sifakis

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.

  1. https://www.ae-info.org/ae/User/Sifakis_Joseph Lipsește sau este vid: |title= (ajutor)
  2. https://www.nasonline.org/news-and-multimedia/news/2024-nas-election.html Lipsește sau este vid: |title= (ajutor)
Iosif Sifakis

Iosif Sifakis
Date personale
Născut1946
Iraklion, Grecia
Cetățenie Grecia
 Franța
Ocupațieinformatician
inginer
cercetător
Limbi vorbitelimba greacă
limba franceză
Activitate
Rezidență Grecia
Franța
Domeniuinformatician
InstituțieCentrul Național Francez de Cercetare Științifică
Alma MaterUniversitatea Politehnică Națională din Atena[*]​ 
OrganizațiiAcademia 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 pentruModel checking
PremiiPremiul Turing, 2007
Prezență online
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.