Joseph Sifakis
Dr.-Ing. Université de Grenoble 1974
Dissertation:
Modèles temporels des Systèmes Logiques
Mathematics Subject Classification: 68—Computer science
Advisor 1: Jean Kuntzmann
Doctorat d'État Institut National Polytechnique de Grenoble (INPG) and Université Scientifique et Médiacale de Grenoble (University of Grenoble) 1979
Dissertation:
The Control of Asynchronous Systems: Concepts, Properties, Static Analysis
Mathematics Subject Classification: 68—Computer science
Advisor: Louis Bolliet
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Schwartz, Jean-Philippe | Institut National Polytechnique de Grenoble (INPG) | 1983 | |
| Graf, Susanne | Institut National Polytechnique de Grenoble (INPG) | 1984 | 2 |
| Rodriguez, Carlos | Institut National Polytechnique de Grenoble (INPG) | 1988 | |
| Garavel, Hubert | Université Joseph Fourier Grenoble I | 1989 | 19 |
| Rasse, Anne | Institut National Polytechnique de Grenoble (INPG) | 1990 | |
| Nicollin, Xavier | Institut National Polytechnique de Grenoble (INPG) | 1992 | 1 |
| Yovine, Sergio | Institut National Polytechnique de Grenoble (INPG) | 1993 | 6 |
| Olivero, Alfredo | Institut National Polytechnique de Grenoble (INPG) | 1994 | |
| Bornot, Sebastien | Université Joseph Fourier Grenoble I | 1998 | |
| Tripakis, Stavros | Université Joseph Fourier Grenoble I | 1998 | 1 |
| Altisen, Karine | Institut National Polytechnique de Grenoble (INPG) and Université Joseph Fourier Grenoble I | 2001 | 1 |
| Gossler, Gregor | Université Joseph Fourier Grenoble I | 2001 | 3 |
| Basu, Ananda | Université Joseph Fourier Grenoble I | 2008 | |
| Basu, Andra | Université Joseph Fourier Grenoble I | 2008 | |
| Chkouri, Mohamed | Université de Grenoble | 2010 | |
| Poulhies, Marc | Université de Grenoble | 2010 | |
| Sfyrla, Vasiliki | Université de Grenoble | 2011 | |
| Abdellatif, Tesnim | Université de Grenoble | 2012 | |
| Quilbeuf, Jean | Université de Grenoble | 2013 | |
| Smeding, Gideon | Université de Grenoble | 2013 | |
| Mavridou, Anastasia | École Polytechnique Fédérale de Lausanne (EPFL) | 2016 |
According to our current on-line database, Joseph Sifakis has 21 students and 53 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 122021 for the advisor ID.