Marie Bolzer (équipe Caramba), soutiendra sa thèse le 25 septembre 2026 à 14 heures en salle A008, avec un exposé intitulé "Algorithmique et outils automatiques pour la construction et l'analyse de composants de cryptographie symétrique". Composition du jury : Rapporteurs : Coron Jean-Sébastien, Professeur des universités — Université du Luxembourg Goubin Louis, Professeur des universités […]
La Nuit de la Science ouvre les festivités de la Fête de la Science le vendredi 2 octobre 2026 ! Pour cette seconde édition, l’Agora de Metz accueille l’Université de Lorraine et les organismes de recherche du site lorrain pour mettre en lumière les travaux de recherche actuels. Découvrez la science en images, en jeux, […]
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, […]
