[Dec. 2021] Ziani Yani joined LMV for a Ph.d. on “Vérification formelle des couches de confiance dans les logiciels”