Université Paris Diderot - Paris 7
| Name | Area | Department | Start Year | Stop Year | Advisor |
|---|---|---|---|---|---|
| Jean-Michel Autebert | computer science | Maurice Nivat (grad student) | |||
| Joffroy Beauquier | Computer Science | 1974 | 1977 | Maurice Nivat (grad student) | |
| Alain Cournier | Computer Science | Michel Habib (grad student) | |||
| Michel Habib | |||||
| Maurice Nivat | |||||
| Andreas Podelski | program analysis and verification, system testing, requirements analysis, cyber-physical systems, AI planning | Computer Science | 1989 | Maurice Nivat (grad student) | |
| Géraud Sénizergues | Jean-Michel Autebert (grad student) |