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 […]