Back جوزيف سيفاكيس Arabic چوزيف سيفاكيس ARZ جوزف سیفاکیس AZB Joseph Sifakis Czech Joseph Sifakis German Ζοζέφ Σιφακίς Greek Joseph Sifakis English Joseph Sifakis Esperanto Joseph Sifakis Spanish جوزف سیفاکیس Persian
| |||
| Biografia | |||
|---|---|---|---|
| Naixement | 26 desembre 1946  (78 anys)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)  , Hubert Garavel (en) , Sergio Yovine (en) , Carlos Crego Rodríguez, Stavros Tripakis (en) i Mohamad Jaber (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]
- ↑ 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.]