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