on July 17, 2025
The FMPDP project - Formal Methods for Probabilistic Programmes and for Differential Confidentiality - is the winner of the ‘International Emerging Actions 2024’ campaign, a call from the CNRS Europe and International Division designed to encourage the exploration of new fields of research and international partnerships.
This project, led by Patrick Baillot, CNRS CRIStAL Research Director, Centrale Lille/University of Lille, will draw on the complementary skills in logic and semantics of programming languages of participants from the CRIStAL laboratory and in verification and differential confidentiality of participants from Boston University.
More...
français
English