Nathalie Bertrand
Original record- Institution
- École Normale Supérieure de Cachan
- Year
- 2006
- Country
- France
- MGP identifier
- 124948
Dissertation: Modèles stochastiques pour les pertes de messages dans les protocoles asynchrones et techniques de vérification automatique
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Philippe SchnoebelenInstitut National Polytechnique de Grenoble (INPG) · 1990
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Paulin Fournier | Université de Rennes 1 | 2015 | 0 |
| Engel Lefaucheux | Université de Rennes 1 | 2018 | 0 |
| Anirban Majumdar | Université Paris-Saclay | 2021 | 0 |
| Suman Sadhukan | Université de Rennes 1 | 2021 | 0 |
| Amélie Stainer | Université de Rennes 1 | 2013 | 0 |