Joseph Sifakis ( griego : Ιωσήφ Σηφάκης ) es un científico informático greco - francés con ciudadanía francesa, [1] ganador del Premio Turing 2007 , junto con Edmund M. Clarke y E. Allen Emerson , por su trabajo en la verificación de modelos .
Joseph Sifakis | |
---|---|
Nació | 26 de diciembre de 1946 (edad | 74)
Ciudadanía | Griego - francés |
alma mater | Universidad Técnica Nacional de Atenas Universidad de Grenoble |
Conocido por | Desarrollo de control de modelos |
Premios | NAE (2017) Premio ACM Turing (2007) Commandeur de la Légion d'honneur Grand officier de l ' ordre national du Mérite Médaille d'argent du CNRS |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | CNRS , École Polytechnique Fédérale de Lausanne |
Biografía
Joseph Sifakis nació en Heraklion , Creta en 1946 [2] y 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 . [3] Recibió un doctorado en 1974 de la Universidad de Grenoble, [4] donde también recibió un doctorado estatal en 1979. [5] [6] [7]
En 2009 fue galardonado con un Dr. hc de la École Polytechnique Fédérale de Lausanne , Suiza, donde fue nombrado profesor titular en 2011 [8] (en la Facultad de Ciencias de la Computación y la Comunicación).
Sifakis vive en Francia , cuya ciudadanía obtuvo en 1976 [1] y trabaja para el Centre national de la recherche scientifique en el laboratorio VERIMAG cerca de Grenoble , [7] del cual es fundador. [2] [9]
También es coordinador de Artist2 , la Red Europea de Excelencia para la investigación de Sistemas Embebidos . [10]
Es un gran oficial de la orden de mérito nacional de Francia [11] y comandante de la Legión de Honor de Francia . [12]
Recibió la Medalla Leonardo da Vinci en 2012. En 2009 recibió el Premio de la Fundación del Parlamento Helénico para el Parlamentarismo y la Democracia. Es un comandante de la Orden Nacional Griega del Fénix . En 2019, fue elegido miembro extranjero de la Academia de Ciencias de China [13].
Referencias
- ↑ a b Aperçu historique de l'immigration grecque à Grenoble , Evangélia Moussouri, en Écarts d'identités n⁰95-96, ISSN 1252-6665, reimprimiendo información de una entrevista de Joseph Sifakis en Des grecs, les grecs de Grenoble , Musée Dauphinois, ISBN 2-905375-08-6
- ^ a b ( Eleftherotypia - 5 de febrero de 2008) Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής Archivado el 7 de febrero de 2008 en Wayback Machine (en griego)
- ^ ( Kathimerini - 4 de febrero de 2008) Το βραβείο Turing 2007 σε Έλληνα ερευνητή Archivado el 16 de julio de 2011 en la Wayback Machine (en griego)
- ^ Modèles temporels des systèmes logiques ("Modelos temporales de sistemas lógicos"), Université scientifique et médicale de Grenoble, 1976, bajo la supervisión de Jean Kuntzmann
- ^ Le contrôle des systèmes asynchrones: conceptos, propriétés, analizar statique ("Control de sistemas asincrónicos: conceptos, propiedades, análisis estático "), USMG e INPG, 1979 bajo la supervisión de Louis Bolliet
- ↑ En la época en que Joseph Sifakis era un estudiante de posgrado, existían en Francia dos niveles de doctorado, siendo el superior, el doctorat d'état ("doctorado estatal") necesario para acceder a las cátedras . Desde entonces ha sido reemplazado por la habilitación .
- ^ a b Había dos universidades científicas en Grenoble: la Université scientifique et médicale de Grenoble (USMG, Grenoble-1), que más tarde pasó a llamarse Universidad Joseph Fourier , y el Instituto de Tecnología de Grenoble (INPG), más tarde rebautizado como Grenoble- EN P. VERIMAG es un laboratorio conjunto del CNRS, la Universidad Joseph Fourier y Grenoble-INP.
- ^ Noticias en EPFL
- ^ Sitio web del CNRS - Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007 (en francés)
- ^ ARTIST2 NoE - Junta de administración estratégica - Artist2 NoE
- ^ Decreto de 16 de mayo de 2008 publicado en el Journal officiel de la République Française de 17 de mayo de 2008.
- ^ Decreto de 13 de julio de 2011 publicado en el Journal officiel de la République Française de 14 de julio de 2008.]
- ^ "Miembros electos de la Academia de Ciencias de China, 2019" .
enlaces externos
- Página personal
- Anuncio del premio Turing