le 17 juillet 2025
Le projet FMPDP - Méthodes formelles pour des programmes probabilistes et pour la confidentialité différentielle lauréat de la campagne des International Emerging Actions 2024, appel à la Direction Europe et international du CNRS destiné à favoriser à l’exploration de nouveaux champs de recherche et de partenariats à l’international.
Ce projet, porté par Patrick Baillot, directeur de recherche CNRS CRIStAL, Centrale Lille/Université de Lille, s’appuiera sur les compétences complémentaires, d’une part en logique et sémantique des langages de programmation des participants du laboratoire CRIStAL et d’autre part en vérification et en confidentialité différentielle des participants de l’Université de Boston.
En savoir plus...
français
English