Sifakis, Joseph
| Joseph Sifakis | |
|---|---|
| Ιωσήφ Σηφάκης | |
| Fødselsdato | 1946 |
| Fødselssted | Heraklion , Grækenland |
| Land |
Grækenland Frankrig (siden 1976) |
| Videnskabelig sfære | Informatik |
| Arbejdsplads | Nationalt Center for Videnskabelig Forskning |
| Alma Mater | Athens Nationale Tekniske Universitet , Joseph Fourier Universitet |
| videnskabelig rådgiver | Louis Bolliet [d] [1] |
| Kendt som | modelkontrol |
| Præmier og præmier | Turing-prisen |
| Internet side | www-verimag.imag.fr/~sif… |
| Mediefiler på Wikimedia Commons | |
Joseph Sifakis ( græsk Ιωσήφ Σηφάκης , fransk Joseph Sifakis ; født 1946 , Heraklion , Grækenland ) er en fransk videnskabsmand af græsk oprindelse inden for computersystemteori, vinder af Turing-prisen .
Medlem af det franske videnskabsakademi (2011) [2] , udenlandsk medlem af det kinesiske videnskabsakademi (2019) [3] [4] .
Biografi
Sifakis blev født i 1946 i Heraklion , hovedstaden på den græske ø Kreta . Han modtog en elektroingeniøruddannelse ved det nationale tekniske universitet i Athen , flyttede derefter til Frankrig , hvor han studerede ved det datalogi fakultet ved Joseph Fourier University , modtog et stipendium og erhvervede en ph.d. I 1976 tog han fransk statsborgerskab. Sifakis arbejder i øjeblikket på VERIMAG forskningslaboratoriet ved det nationale center for videnskabelig forskning i Frankrig nær Grenoble , som han grundlagde og ledede fra 1993 til 2006 .
I 2007 blev han sammen med Edmund Clarke og Allen Emerson tildelt Turing-prisen for bidrag til udviklingen af modelkontrolteori .
Priser
- 2001 - Sølvmedalje af National Center for Scientific Research
- 2007 - Turing Award med Clarke og Emerson for deres rolle i udviklingen af modelkontrol , en yderst effektiv programverifikationsteknik, der er meget udbredt i både software- og hardwareudvikling [5] [6]
Se også
Noter
- ↑ Matematisk genealogi (engelsk) - 1997.
- ↑ Joseph Sifakis Arkiveret 4. september 2019 på Wayback Machine (fr.)
- ↑关于公布2019年中国科学院 院士增选当选院士名单的公告 Arkiveret 21. maj 2020 på Wayback Machine 20,20 november
- ↑ 约瑟夫·希发基思（Joseph Sifakis） (kinesisk) .中国瑟学院院士.
- ↑ Vindere af den årlige Turing Award - Videnskab og teknologi - Compulenta annonceret (utilgængeligt link) . Hentet 20. februar 2009. Arkiveret fra originalen 21. februar 2009.
- ↑ ACM Award Citation / Joseph Sifakis Arkiveret 27. juni 2009.
Links
- Joseph Sifakis-siden på VERIMAG- webstedet (engelsk)
Wikimedia Commons har medier relateret til Joseph Sifakis
 Tematiske steder | ||||
|---|---|---|---|---|
| Ordbøger og encyklopædier | ||||
| ||||
| Turing prisvindere | |
|---|---|
| |