Sujet de la thèse : Sémantique formelle et conformité prouvée des processus métier gérant des données à caractère personnel

Début de la thèse : 01/09/2023

Directeur de thèse : Sabine FRITTELLA

Co-encadrant de thèse : Vincent HUGOT