En général (In general)  

I'm interested in high-level parallel programming: languages, libraries, algorithms, programming tools, formal methods (certification, verification and model-checking) and safety/security.

Research results are presented in my papers and talks. Or in DBLP or Google Scholar or ACM or ResearchGate

Projets (Projects)  
  • 2018 - 2021 : the ANBLICS project (Projet FUI) ANalytics on BLind Cloud Security. It is about parallelisation and verification of Fully Homomorphic Encryption primitives.
  • 2007 - 2010 : the SPREADS project (Projet ANR Security, Secure P2P data-storage)
  • 2007 - 2010 : the VEHICULAIRE project (Fondation Digiteo, Région Idf)
  • 2004 - 2007 : the Propac project (ACI Jeunes Chercheuses et Chercheurs 2004)
  • 2002 - 2004 : the CARAML project (ACI GRID 2001)

Etudiants (Students)  

Organisation, comité de programme et relecteur (Organization, program committee member and referee)