Madame PAILLOCHER Sophie
Doctorant , Equipe COSMO
Analyse et solutions algorithmiques du model checking et de la synthèse de modèles pour les modèles partiels.
| Direction de thèse a IBISC | CERRITO Serenella | |
| Bâtiment : ibgbi | Bureau : | Téléphone : |
| Courriel : | Financeur/affectation/tutelle : | |
| Date d'arrivée : 30/09/2021 | Date de soutenance : |