Sifakis, José
| jose sifakis | |
|---|---|
| Ιωσήφ Σηφάκης | |
| Fecha de nacimiento | 1946 |
| Lugar de nacimiento | Heraclión , Grecia |
| País |
Grecia Francia (desde 1976) |
| Esfera científica | Informática |
| Lugar de trabajo | Centro Nacional de Investigaciones Científicas |
| alma mater | Universidad Técnica Nacional de Atenas , Universidad Joseph Fourier |
| consejero científico | Luis Bolliet [d] [1] |
| Conocido como | control de modelo |
| Premios y premios | premio turing |
| Sitio web | www-verimag.imag.fr/~sif… |
| Archivos multimedia en Wikimedia Commons | |
Joseph Sifakis ( griego Ιωσήφ Σηφάκης , francés Joseph Sifakis ; nacido en 1946 , Heraklion , Grecia ) es un científico francés de origen griego en el campo de la teoría de sistemas informáticos, ganador del Premio Turing .
Miembro de la Academia de Ciencias de Francia (2011) [2] , miembro extranjero de la Academia de Ciencias de China (2019) [3] [4] .
Biografía
Sifakis nació en 1946 en Heraklion , la capital de la isla griega de Creta . Recibió una educación en ingeniería eléctrica en la Universidad Técnica Nacional de Atenas , luego se mudó a Francia , donde estudió en la Facultad de Ciencias de la Computación de la Universidad Joseph Fourier , recibió una beca y obtuvo un Ph.D. En 1976 tomó la ciudadanía francesa. Sifakis trabaja actualmente en el laboratorio de investigación VERIMAG en el Centro Nacional de Investigación Científica de Francia cerca de Grenoble , que fundó y dirigió entre 1993 y 2006 .
En 2007, junto con Edmund Clarke y Allen Emerson , recibió el Premio Turing por sus contribuciones al desarrollo de la teoría de verificación de modelos .
Premios
- 2001 - Medalla de plata del Centro Nacional de Investigaciones Científicas
- 2007 - Premio Turing con Clarke y Emerson por su papel en el desarrollo de la verificación de modelos , una técnica de verificación de programas altamente efectiva ampliamente utilizada en el desarrollo de software y hardware [5] [6]
Véase también
Notas
- ↑ Genealogía matemática (inglés) - 1997.
- ↑ Joseph Sifakis Archivado el 4 de septiembre de 2019 en Wayback Machine (fr.)
- ↑ 关于公布2019年中国科学院院士增选当选院士名单的公告 Archivado el 21 de mayo de 2020 en Wayback Machine , el 22 de noviembre de 2019 (chino)
- ↑ 约瑟夫·希发基思（Joseph Sifakis） (chino) .中国瑟学院院士.
- ↑ Laureados del Premio Turing anual - Ciencia y tecnología - Compulenta anunciado (enlace inaccesible) . Consultado el 20 de febrero de 2009. Archivado desde el original el 21 de febrero de 2009.
- ↑ Mención de premio ACM / Joseph Sifakis Archivado el 27 de junio de 2009.
Enlaces
- Página de Joseph Sifakis en el sitio web de VERIMAG (inglés)
Wikimedia Commons tiene medios relacionados con Joseph Sifakis
 sitios temáticos | ||||
|---|---|---|---|---|
| diccionarios y enciclopedias | ||||
| ||||
| Ganadores del Premio Turing | |
|---|---|
| |