Date
Bonne chance à Zeineb ZHIOUA du Département Sécurité Numérique, encadrée par Yves ROUDIER, qui soutiendra publiquement sa thèse doctorale, le Vendredi 8 Septembre 2017 à 10h. Son sujet de thèse est le suivant : "Specification and Automatic Verification of Security Guidelines for Program Certification".