Joseph Sifakis
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- France
- MGP identifier
- 122021
Dissertation: Modèles temporels des Systèmes Logiques
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Louis BollietUniversité Joseph Fourier Grenoble I · 1967
- Jean KuntzmannInstitution not recorded
Students 21
| Name | Institution | Year | Students |
|---|---|---|---|
| Tesnim Abdellatif | Not recorded | — | 0 |
| Karine Altisen | Not recorded | — | 1 |
| Ananda Shankar Basu | Not recorded | — | 0 |
| Andra Shankar Basu | Not recorded | — | 0 |
| Sebastien Bornot | Not recorded | — | 0 |
| Mohamed Yassin Chkouri | Not recorded | — | 0 |
| Hubert Garavel | Université Joseph Fourier Grenoble I | 1989 | 7 |
| Gregor Gossler | Not recorded | — | 3 |
| Susanne Graf | Institut National Polytechnique de Grenoble (INPG) | 1984 | 2 |
| Anastasia Mavridou | École Polytechnique Fédérale de Lausanne (EPFL) | 2016 | 0 |
| Xavier Nicollin | Not recorded | — | 1 |
| Alfredo Olivero | Not recorded | — | 0 |
| Marc Poulhies | Not recorded | — | 0 |
| Jean Quilbeuf | Not recorded | — | 0 |
| Anne Rasse | Not recorded | — | 0 |
| Carlos Rodriguez | Not recorded | — | 0 |
| Jean-Philippe Schwartz | Not recorded | — | 0 |
| Vasiliki Sfyrla | Not recorded | — | 0 |
| Gideon Smeding | Not recorded | — | 0 |
| Stavros Tripakis | Université Joseph Fourier Grenoble I | 1998 | 1 |
| Sergio Yovine | Institut National Polytechnique de Grenoble (INPG) | 1993 | 4 |