Joseph Sifakis
![]() ![]() | |
Nom original | (el) Ιωσήφ Σηφάκης ![]() |
---|---|
Biografia | |
Naixement | 26 desembre 1946 ![]() Càndia (Grècia) ![]() |
Director de recerca del CNRS | |
![]() | |
Dades personals | |
Nacionalitat | Grec/francès |
Formació | Universitat Politècnica Nacional d'Atenes Universitat de Grenoble |
Director de tesi | Louis Bolliet i Jean Kuntzmann ![]() |
Es coneix per | Desenvolupament de la verificació de models |
Activitat | |
Camp de treball | Ciències de la computació ![]() |
Ocupació | Informàtica |
Organització | CNRS |
Membre de | Acadèmia Nacional de Ciències dels Estats Units (2024–) Association for Computing Machinery (membre de l'Association for Computing Machinery) (2012–) Academia Europaea (2008–) Acadèmia de Tecnologies Acadèmia Americana de les Arts i les Ciències Acadèmia Francesa de les Ciències Acadèmia Nacional d'Enginyeria ![]() |
Obra | |
Estudiant doctoral | Stavros Tripakis (en) ![]() ![]() ![]() ![]() ![]() ![]() |
Premis Premi Turing (2007) | |
Lloc web | www-verimag.imag.fr… ![]() |
Joseph Sifakis (grec: Ιωσήφ Σηφάκης) és un informàtic francès nascut a Grècia,[1] que va guanyar el premi Turing de 2007, conjuntament amb Edmund M. Clarke i E. Allen Emerson, per la seva feina en verificació de models.
Va néixer a Càndia, Creta el 1946[2] i va estudiar Enginyeria Elèctrica a la Universitat Politècnica Nacional d'Atenes i Informàtica a la Universitat de Grenoble amb una beca francesa.[3] Es va doctorar el 1974 a la Universitat de Grenoble,[4] on també va rebre un doctorat d'estat el 1979.[5][6][7]
El 2009 va rebre un doctorat honoris causa de l'Escola Politècnica Federal de Lausana, a Suïssa, on el 2011 va ser nomenat professor titular[8] (de l'Escola de Ciència Informàtica i de Comunicacions).
Sifakis viu a França, d'on va obtenir-ne la ciutadania el 1976[1] i treballa al CNRS al laboratori VERIMAG, a prop de Grenoble,[7] del qual n'és fundador.[2][9]
També és coordinador d'Artist2, la xarxa europea d'excel·lència en la recerca en sistemes incrustats.[10]
És gran oficial de l'Orde Nacional del Mèrit francesa[11] i comandant de la Legió d'Honor.[12]
Referències
- ↑ 1,0 1,1 Aperçu historique de l'immigration grecque à Grenoble Arxivat 2012-07-23 a Wayback Machine., Evangélia Moussouri, a Écarts d'identités n⁰95-96, ISSN 1252-6665, reproduint informació d'una entrevista a Joseph Sifakis a Des grecs, les grecs de Grenoble, Musée Dauphinois, ISBN 2-905375-08-6
- ↑ 2,0 2,1 (Eleftherotypia - 05 Feb 2008) Ελληνας ερευνητής πήρε το βραβείο Νόμπελ της πληροφορικής Arxivat 2008-02-07 a Wayback Machine. (grec)
- ↑ (Kathimerini - 04 Feb 2008) Το βραβείο Turing 2007 σε Έλληνα ερευνητή Arxivat 2011-10-03 a Wayback Machine. (grec)
- ↑ Modèles temporels des systèmes logiques ("Models temporals de sistemes lògics"), Université scientifique et médicale de Grenoble, 1976, supervisat per Jean Kuntzmann
- ↑ Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique ("Control de sistemes asíncrons: conceptes, propietats, anàlisi estàtica"), USMG and INPG, 1979 supervisat per Louis Bolliet
- ↑ Quan Joseph Sifakis era estudiant de doctorat, a França hi havia dos nivells de doctorat, i el superior, o doctorat d'état ("doctorat d'estat") era requisit per al professorat. Ara ha quedat substituït per l'habilitació.
- ↑ 7,0 7,1 Hi havia dues universitats científiques a Grenoble: la Université scientifique et médicale de Grenoble (USMG, Grenoble-1), que després va canviar de nom a Universitat Joseph Fourier, i l'Institut de Tecnologia de Grenoble (INPG), que després va canviar de nom a Grenoble-INP. VERIMAG és un laboratori conjunt entre el CNRS, la Universitat Joseph Fourier i Grenoble-INP.
- ↑ News at EPFL
- ↑ Web del CNRS - Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007 (francès)
- ↑ ARTIST2 NoE - Strategic Management Board — Artist2 NoE
- ↑ Decret del 16 de maig de 2008 publicat in the Journal officiel de la République Française del 17 de maig de 2008.
- ↑ Decret del 13 de juliol de 2011 publicat al Journal officiel de la République Française del 14 de juliol de 2008.]
Enllaços externs
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Commons-logo.svg/30px-Commons-logo.svg.png)
- Pàgina personal
- Anunci del Premi Turing