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

• 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)

• Currently nobody.
• Anciens doctorants (past doctoral students) :
  • Victor Allombert, 2013-2017; Mémoire (Doctoral thesis): Functional abstraction for programming multi-level architectures: formalisation and implementation
  • Jean Fortin, 2008-2013; Mémoire (Doctoral thesis): BSP-Why: a Tool for Deductive Verification of BSP Programs (Machine-checked semantics and application to distributed state-space algorithms)
  • Michael Guedj (co-director with Pr. Franck Pommereau), 2007-2012; Mémoire (Doctoral thesis): BSP Algorithms for LTL & CTL* Model Checking of Security Protocols
  • Louis Gesbert (co-director with Pr. Frederic Loulergue), 2005-2008; Mémoire (Doctoral thesis): Développement systématique et sûreté d'exécution en programmation parallèle structurée
• Master :
  • Mohamed Menasria (co-director with Pr. Franck Pommereau), avril-septembe 2014
  • Imane Rahmoun (co-director with Dr. Julien Tesson), avril-septembe 2014
• Anciens etudiants en Master (past Master students) :
  • Valentin Samir, "Algorithme BSP multicore pour la construction de l'espace d'état de protocoles de sécurité", avril-septembe 2013
  • Souad_Kherroubi : "Traduction et extension d'un langage de description des protocoles de sécurité vers une algèbre de réseaux de Petri" (co-director with Pr. Franck Pommereau), rapport de stage (report), avril-septembe 2013
  • Arthur Hidalgo : "Mechnised Verification of Distributed State-space Algorithms for Security Protocols", rapport de stage (report), avril-septembe 2012
  • Ilias Garnier : "New implementation of a parallel composition primitive for a functionnal BSP language", rapport de stage (report), transparents (slides), avril-septembre 2008
  • Jean Fortin : "Formal Operational Semantics of a Core Imperative BSP language", rapport de stage (report), transparents (slides), avril-septembre 2008
  • Otmane Bouziani : "Implantation d'une bibliothèque de programmation fonctionnelle BSP dans un environnement de méta-computing", rapport de stage (report), transparents (slides), avril-septembre 2006
  • David Los Santos : "Implantation en BSML d'un algorithme BSP de recherche de motifs", rapport de stage (report), transparents (slides), mai-juin 2005
  • David Billiet : "BSML: Implémentation modulaire et prévision de performances", (co-director with Pr. Frédéric Loulergue) rapport de stage (report), avril-juillet 2004

• Relecteur pour : (Referee for:)
  • Conferences and Workshops:
    • ... (forgotten)
    • Conference HPCS 2011 and 2012 (High Performance Computing and Simulation)
    • Conference PDCN 2011 (Parallel and Distributed Computing and Networks)
    • Workshop APDCM (Advances in Parallel and Distributed Computational Models) 2009
    • Conference ICCS (International Conference on Computational Science) 2007, 2008, 2009 et 2010
    • Workshop PAPP (Practical Aspects of High-Level Parallel Programming, part of ICCS) 2004, 2005 et 2006
    • Symposium TFP 2005 (Trends in Functional Programming)
  • Journals:
    • Sciences of computer programming
    • High Performance Computing and Networking
    • Transactions on Parallel and Distributed Systems
    • TSI
    • Computer Languages, Systems and Structures (special issue on "Semantics and Cost Models for High-Level Parallel Programming")
    • Parallel Processing Letters
    • Scalable Computing: Practice and Experience
• Membre des comités de programme pour : (PC member for:)
  • Workshop HLPP 2013 (High-level Parallel Programming and Applications)
  • Conference ICCS 2011,12,13,14,15,16,17 and 18
  • HPDFA 2010 workshop (part of the HPCS 2010 conference)
  • Workshop Next Generation Programming Paradigms and Systems, track of the 34th ACM/SIGAPP Symposium On Applied Computing
  • Workshops WLPP (Language-Based Parallel Programming Models) 2007, 2009, 2011 et 2013 2015, 2017 (part of conference PPAM)
  • Workshops on PAPP (Practical Aspects of High-Level Parallel Programming) 2007, 2008, 2011 et 2012 (part of the conference ICCS)
  • ... (surely other but forgetten)
• Organisation : (Organization:)
  • Workshop HLPGPU (High-level programming for heterogeneous and hierarchical parallel systems) with Pr. Gaétan Hains and Pr. Kevin Hammond, part of the conference HiPEAC (High-Performance and Embedded Architectures and Compilers)
  • Co-Chair and Co-Organizer with Anne Benoit of the Seventh international workshop on "Practical Aspects of High-level Parallel Programming" (PAPP 2010) part of ICCS 2010
  • Co-Chair and Co-Organizer with Anne Benoit of the Sixth international workshop on "aPpplications of declArative and object-oriented Parallel Programming" (PAPP 2009) part of ICCS 2009