Franco Terranova (équipe Resist), soutiendra sa thèse le 9 octobre 2026 à 13 h 30 en salle A008, avec un exposé intitulé "Graph Reinforcement Learning for Automated Attack Surface Discovery in Networked Systems ". Composition du jury : Rapporteurs : Anna Sperotto, Professeure, University of Twente Marco Anisetti, Professeur, Università degli Studi di Milano Examinateurs […]

Vincent Trelat, doctorant dans l'équipe Veridis, soutiendra sa thèse le 10 novembre 2026 à 9h30 au Loria, avec un exposé intitulé "Trustworthy Reasonig for the B method". Composition du jury : Stephan Merz, directeur de recherches Inria au Loria (encadrant) Sophie Tourret, chargée de recherches Inria au Loria (encadrante) Jean-Christophe Filliâtre, LMF (rapporteur) Michael Leuschel, […]