Diego Alejandro Vega Vega (SIMBIOT), défendra sa thèse intitulée A general framework for co-simulation-based optimization. Directeur de thèse : Vincent CHEVRIER, Professeur, Université de Lorraine (Nancy), Loria Jury : Rapporteurs : Stéphane GALLAND, Professeur, Université de Technologie de Belfort-Montbeliard, CIAD Paul-Antoine BISGAMBIGLIA, Maître de conférences-HDR, Université de Corse Examinateurs : Bernardetta ADDIS, Professeure, Université de […]

Élise Klein (Pesto), défendra sa thèse intitulée Formal Verification in Practice: Real-World Case Study and Enhanced Support for AC Operators in Tamarin . La soutenance aura lieu en public le jeudi 11 décembre à 9h30, au LORIA, en salle A008. Elle sera suivie d'un pot. Jury :  Yannick Chevalier (rapporteur -- MCF HDR à l'Université de […]

Robin San Roman défendra sa thèse intitulée Safe Audio Generation Models from Discrete Latent Representations La soutenance se déroulera le lundi 15 décembre 2025 à 15h en A008. La présentation sera en français. Elle sera suivie d'un pot devant la salle. Une visioconférence sera également disponible via le lien suivant : https://inria.webex.com/meet/romain.serizel Directeurs de thèse : […]

Salome Lepers (Larsen), défendra sa thèse intitulée Interprétabilité et explicabilité en planification probabiliste. La soutenance se déroulera le mardi 16 décembre 2025 à 9h en C005. La présentation sera en français. Elle sera suivie d'un pot devant la salle. Une visioconférence sera également disponible via le lien suivant : https://rendez-vous.renater.fr/soutenanceSalomeLepers Jury : Abdel-Illah Mouaddib, Université de […]