Sifakis, Joseph
| Joseph Sifakis | |
|---|---|
| Ιωσήφ Σηφάκης | |
| Syntymäaika | 1946 |
| Syntymäpaikka | Heraklion , Kreikka |
| Maa |
Kreikka Ranska (vuodesta 1976) |
| Tieteellinen ala | Informatiikka |
| Työpaikka | Kansallinen tieteellisen tutkimuksen keskus |
| Alma mater | Ateenan kansallinen teknillinen yliopisto , Joseph Fourier -yliopisto |
| tieteellinen neuvonantaja | Louis Bolliet [d] [1] |
| Tunnetaan | mallin tarkistus |
| Palkinnot ja palkinnot | Turing-palkinto |
| Verkkosivusto | www-verimag.imag.fr/~sif… |
| Mediatiedostot Wikimedia Commonsissa | |
Joseph Sifakis ( kreikaksi Ιωσήφ Σηφάκης , ranskaksi Joseph Sifakis ; syntynyt 1946 , Heraklion , Kreikka ) on kreikkalaista alkuperää oleva ranskalainen tietokonejärjestelmäteorian tiedemies, Turing-palkinnon voittaja .
Ranskan tiedeakatemian jäsen ( 2011) [2] , Kiinan tiedeakatemian ulkomainen jäsen (2019) [3] [4] .
Elämäkerta
Sifakis syntyi vuonna 1946 Iraklionissa , Kreikan Kreetan saaren pääkaupungissa . Hän sai sähkötekniikan koulutuksen Ateenan kansallisessa teknisessä yliopistossa , muutti sitten Ranskaan , missä hän opiskeli Joseph Fourier -yliopiston tietojenkäsittelytieteen tiedekunnassa , sai stipendin ja suoritti tohtorin tutkinnon. Vuonna 1976 hän sai Ranskan kansalaisuuden. Sifakis työskentelee tällä hetkellä VERIMAG- tutkimuslaboratoriossa Ranskan National Center for Scientific Researchissa lähellä Grenoblea , jonka hän perusti ja johti vuosina 1993-2006 .
Vuonna 2007 hänelle myönnettiin yhdessä Edmund Clarken ja Allen Emersonin kanssa Turing-palkinto panoksesta mallintarkistusteorian kehittämiseen .
Palkinnot
- 2001 - Kansallisen tieteellisen tutkimuksen keskuksen hopeamitali
- 2007 - Clarken ja Emersonin kanssa Turing-palkinto heidän roolistaan mallintarkistuksen , erittäin tehokkaan ohjelman varmennustekniikan, kehittämisessä , jota käytetään laajalti sekä ohjelmisto- että laitteistokehityksessä [5] [6]
Katso myös
Muistiinpanot
- ↑ Matemaattinen sukututkimus (englanniksi) - 1997.
- ↑ Joseph Sifakis arkistoitu 4. syyskuuta 2019 Wayback Machinessa (fr.)
- ↑ 关于公布2019年中国科学院院士增选当选院士名单的公告 Arkistoitu 21. toukokuuta 2020, Wayback92 , Chinese , 2. marraskuuta 122 Machinessa
- ↑ 约瑟夫·希发基思（Joseph Sifakis） (kiina) .中国瑟学院院士.
- ↑ Vuosittaisen Turing Award -palkinnon saajat - Tiede ja teknologia - Compulenta julkistettu (pääsemätön linkki) . Haettu 20. helmikuuta 2009. Arkistoitu alkuperäisestä 21. helmikuuta 2009.
- ↑ ACM Award Citation / Joseph Sifakis Arkistoitu 27. kesäkuuta 2009.
Linkit
- Joseph Sifakis -sivu VERIMAG- verkkosivustolla (englanniksi)
Wikimedia Commonsilla on Joseph Sifakisiin liittyvää mediaa
 Temaattiset sivustot | ||||
|---|---|---|---|---|
| Sanakirjat ja tietosanakirjat | ||||
| ||||
| Turing-palkinnon voittajat | |
|---|---|
| |