Sifakis, Joseph
| Joseph Sifakis | |
|---|---|
| Ιωσήφ Σηφάκης | |
| Födelsedatum | 1946 |
| Födelseort | Heraklion , Grekland |
| Land |
Grekland Frankrike (sedan 1976) |
| Vetenskaplig sfär | Informatik |
| Arbetsplats | Nationellt centrum för vetenskaplig forskning |
| Alma mater | National Technical University of Athens , Joseph Fourier University |
| vetenskaplig rådgivare | Louis Bolliet [d] [1] |
| Känd som | modellkontroll |
| Utmärkelser och priser | Turing utmärkelse |
| Hemsida | www-verimag.imag.fr/~sif… |
| Mediafiler på Wikimedia Commons | |
Joseph Sifakis ( grekiska Ιωσήφ Σηφάκης , franska Joseph Sifakis ; född 1946 , Heraklion , Grekland ) är en fransk vetenskapsman av grekiskt ursprung inom området datorsystemteori, vinnare av Turingpriset .
Medlem av den franska vetenskapsakademin (2011) [2] , utländsk medlem av den kinesiska vetenskapsakademin (2019) [3] [4] .
Biografi
Sifakis föddes 1946 i Heraklion , huvudstaden på den grekiska ön Kreta . Han fick en elektroingenjörsutbildning vid National Technical University of Athens , flyttade sedan till Frankrike , där han studerade vid fakulteten för datavetenskap vid Joseph Fourier University , fick ett stipendium och förvärvade en Ph.D. 1976 tog han franskt medborgarskap. Sifakis arbetar för närvarande på VERIMAG forskningslaboratoriet vid National Centre for Scientific Research i Frankrike nära Grenoble , som han grundade och ledde från 1993 till 2006 .
2007 tilldelades han tillsammans med Edmund Clarke och Allen Emerson Turingpriset för bidrag till utvecklingen av modellkontrollteori .
Utmärkelser
- 2001 - Silvermedalj av National Centre for Scientific Research
- 2007 - Turing Award med Clarke och Emerson för deras roll i utvecklingen av modellkontroll , en mycket effektiv programverifieringsteknik som används i stor utsträckning inom både mjukvaru- och hårdvaruutveckling [ 5] [6]
Se även
Anteckningar
- ↑ Mathematical Genealogy (engelska) - 1997.
- ↑ Joseph Sifakis Arkiverad 4 september 2019 på Wayback Machine (fr.)
- ↑ 关于公布2019年中国科学院院士增选当选院士名单的公告 Arkiverad 21 maj 2020 på Wayback Machine 20 november (1 november 2020 )
- ↑ 约瑟夫·希发基思（Joseph Sifakis） (kinesiska) .中国瑟学院院士.
- ↑ Pristagare av det årliga Turing-priset - Vetenskap och teknik - Compulenta tillkännages (otillgänglig länk) . Hämtad 20 februari 2009. Arkiverad från originalet 21 februari 2009.
- ↑ ACM Award Citation / Joseph Sifakis Arkiverad 27 juni 2009.
Länkar
- Joseph Sifakis-sida på VERIMAG- webbplatsen (engelska)
Wikimedia Commons har media relaterade till Joseph Sifakis
 Tematiska platser | ||||
|---|---|---|---|---|
| Ordböcker och uppslagsverk | ||||
| ||||
| Vinnare av Turingpriset | |
|---|---|
| |