Hispanopedia Wiki
Articulo de referencia

José Sifakis

Joseph Sifakis ( griego : Ιωσήφ Σηφάκης) es un informático greco - francés . Recibió el premio Turing 2007 , junto con Edmund M. Clarke y E. Allen Emerson , por su trabajo en la...

Hispanopedia WikiContenido en espanolLectura gratuita

Joseph Sifakis ( griego : Ιωσήφ Σηφάκης) es un informático greco - francés . Recibió el premio Turing 2007 , junto con Edmund M. Clarke y E. Allen Emerson , por su trabajo en la verificación de modelos .

Biografía

Joseph Sifakis nació en Heraklion , Creta , en 1946 y vive en Francia . Estudió Ingeniería Eléctrica en la Universidad Técnica Nacional de Atenas y Ciencias de la Computación en la Universidad de Grenoble con una beca francesa . Recibió su doctorado en ingeniería en 1974 de la Universidad de Grenoble , [1] donde también recibió un doctorado estatal en 1979. [2] [3] [4]

Actualmente es Director de Investigación Emérito del Centro Nacional de Investigación Científica en el laboratorio VERIMAG cerca de Grenoble , del que es el fundador. Sifakis ha sido una figura líder en los campos de la verificación de modelos y los sistemas integrados . Fundó con Edmund M. Clarke y Amir Pnueli la conferencia CAV , organizada por primera vez en Grenoble en 1989. Ha sido el coordinador de la red europea de excelencia ARTIST para la investigación en sistemas integrados [5] (2004-2012).

Sifakis ocupó la cátedra industrial INRIA-Schneider [6] (2008-2011) y ha sido profesor titular [7] y director del «Laboratorio de diseño riguroso de sistemas» en la Escuela de Ciencias de la Computación y la Comunicación de la EPFL (2011-2016). Ha sido profesor visitante en la Universidad de Tsinghua (2011-2012) y en SUSTech (2019). [8]

Sifakis ha sido presidente del Consejo Nacional Griego de Investigación y Tecnología (2014-2016).

Trabajar

Sifakis trabajó en la verificación de sistemas y la aplicación de métodos formales al diseño de sistemas. En su doctorado estatal [3] estudió los principios del método de verificación algorítmica conocido más tarde como verificación de modelos . En 1982, esta técnica se aplicó en el doctorado de Jean-Pierre Queille para desarrollar la herramienta de verificación CESAR. [9]

Sifakis fue director de VERIMAG durante catorce años. Establecido inicialmente como un laboratorio industrial mixto entre CNRS y Verilog SA., VERIMAG ha colaborado con Airbus y Schneider Electric para desarrollar métodos y herramientas para el desarrollo de sistemas críticos de seguridad, en particular el entorno de programación síncrona SCADE basado en el lenguaje Lustre . Sifakis ha trabajado en la verificación de sistemas temporizados e híbridos con Thomas Henzinger [10] [11] y en la síntesis de sistemas temporizados con Amir Pnueli y Oded Maler [12] . Ha participado en el desarrollo de herramientas de verificación, incluido el conjunto de herramientas IF, Kronos, CADP y TGV, y ha desarrollado una teoría para hacer frente a la explosión de estados utilizando técnicas de abstracción.

Durante los últimos veinte años, su trabajo se ha centrado en el diseño riguroso basado en componentes utilizando el marco de componentes BIP [13] y, más recientemente, en el diseño de sistemas autónomos confiables, en particular automóviles autónomos.

Premios

  • Premio Turing , 2007 [14]
  • Medalla Leonardo da Vinci, 2012 [15]
  • Gran Oficial de la Orden Nacional del Mérito, Francia, 2008 [16]
  • Comendador de la Legión de Honor , Francia, 2011 [17]
  • Miembro de la Academia Francesa de Ciencias, 2010 [18]
  • Miembro de la Academia Europaea, 2008 [19]
  • Miembro de la Academia Francesa de Ingeniería, 2008 [20]
  • Miembro de la Academia Estadounidense de las Artes y las Ciencias, 2015 [21]
  • Miembro de la Academia Nacional de Ingeniería, 2017 [22]
  • Miembro extranjero de la Academia de Ciencias de China, 2019 [23]

Referencias

  1. ^ Sifakis, Joseph (22 de marzo de 1974). Modèles temporels des systèmes logiques (tesis doctoral) (en francés). Universidad Joseph-Fourier – Grenoble I.
  2. ^ Sifakis, Joseph (25 de junio de 1979). Le contrôle des systèmes asynchrones: conceptos, propiedades, análisis estadístico (tesis doctoral) (en francés). Instituto Nacional Politécnico de Grenoble – INPG; Universidad Joseph-Fourier – Grenoble I.
  3. ^ ab En la época en que Joseph Sifakis era estudiante de doctorado, existían en Francia dos niveles de doctorado, siendo el superior, el doctorat d'état ("doctorado de Estado"), necesario para acceder a las cátedras . Posteriormente fue sustituido por la habilitación .
  4. ^ :ab En Grenoble existían dos universidades científicas: la Université scientifique et médicale de Grenoble (USMG, Grenoble-1), que más tarde pasó a llamarse Universidad Joseph Fourier , y el Instituto Tecnológico de Grenoble (INPG), que más tarde pasó a llamarse Grenoble-INP. VERIMAG es un laboratorio conjunto del CNRS, la Universidad Joseph Fourier y Grenoble-INP.
  5. ^ "ArtistDesign NoE - Junta de gestión estratégica - Artist2 NoE". artista-embedded.org . Consultado el 28 de septiembre de 2021 .
  6. ^ Nouvelle, L'Usine (18 de septiembre de 2008). "Unechaire Inria-Schneider" (en francés). {{cite journal}}: Requiere citar revista |journal=( ayuda )
  7. ^ Evangelista, Sandy (30 de septiembre de 2011). "Novedades en la EPFL".
  8. ^ "Bienvenido Sifakis @ SUCTech". Twitter . 30 de enero de 2019 . Consultado el 3 de noviembre de 2023 .
  9. ^ Marniemi, J.; Parkki, MG (1 de septiembre de 1975). "Ensayo radioquímico de glutatión S-epóxido transferasa y su potenciación por fenobarbital en hígado de rata in vivo". Farmacología bioquímica . 24 (17): 1569–1572. doi :10.1016/0006-2952(75)90080-5. ISSN  0006-2952. PMID  9.
  10. ^ Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, TA; Ho, P. -H.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S. (6 de febrero de 1995). "El análisis algorítmico de sistemas híbridos". Ciencias de la Computación Teórica . 138 (1): 3–34. doi : 10.1016/0304-3975(94)00202-T . ISSN  0304-3975.
  11. ^ Henzinger, TA; Nicollin, X.; Sifakis, J.; Yovine, S. (1 de junio de 1994). "Verificación de modelos simbólicos para sistemas en tiempo real". Información y computación . 111 (2): 193–244. doi : 10.1006/inco.1994.1045 . hdl : 1813/6182 . ISSN  0890-5401.
  12. ^ Maler, Oded; Pnueli, Amir; Sifakis, Joseph (1995). "Sobre la síntesis de controladores discretos para sistemas temporizados: un resumen ampliado". En Mayr, Ernst W.; Puech, Claude (eds.). Stacs 95. Lecture Notes in Computer Science. Vol. 900. Berlín, Heidelberg: Springer. págs. 229–242. doi :10.1007/3-540-59042-0_76. ISBN. 978-3-540-49175-0.
  13. ^ Basu, A.; Bozga, M.; Sifakis, J. (septiembre de 2006). "Modelado de componentes heterogéneos en tiempo real en BIP". Cuarta Conferencia Internacional IEEE sobre Ingeniería de Software y Métodos Formales (SEFM'06) . págs. 3–12. doi :10.1109/SEFM.2006.27. ISBN 0-7695-2678-0.S2CID 1926067  .
  14. ^ "Joseph Sifakis". awards.acm.org . Consultado el 4 de octubre de 2021 .
  15. ^ «Premios – SEFI» . Consultado el 4 de octubre de 2021 .
  16. ^ Decreto de 16 de mayo de 2008 publicado en el Journal officiel de la République Française de 17 de mayo de 2008.
  17. ^ Decreto de 13 de julio de 2011 publicado en el Journal officiel de la République Française de 14 de julio de 2008.]
  18. ^ "Joseph Sifakis | Liste des membres de l'Académie des sciences / S | Listes par ordre alphabétique | Listes des membres | Membres | Nous connaître". academie-sciences.fr . Consultado el 3 de septiembre de 2022 .
  19. ^ "Academia de Europa: Sifakis Joseph". ae-info.org . Consultado el 3 de septiembre de 2022 .
  20. ^ https://academie-technologies-prod.s3.amazonaws.com/2020/06/24/06/46/20/8f0cbef7-2ba0-4ed4-be6f-cc9467251a42/LISTE%20MEMBRES%20AVEC%20COLLEGES%202020%20MAJ230620.pdf [ URL básica PDF ]
  21. ^ "Directorio de miembros | Academia Estadounidense de Artes y Ciencias". amacad.org . Consultado el 3 de septiembre de 2022 .
  22. ^ "Profesor Joseph Sifakis". Sitio web de la NAE . Consultado el 3 de septiembre de 2022 .
  23. ^ "2019年中科院院士增选结果揭晓,64人当选_科学湃_澎湃新闻-The Paper". thepaper.cn . Consultado el 3 de septiembre de 2022 .
  • Página de inicio personal
  • Anuncio del premio Turing
  • Lista de publicaciones: https://dblp.org/pid/s/JosephSifakis.html
Obtenido de "https://es.wikipedia.org/w/index.php?title=Joseph_Sifakis&oldid=1217634457"