2023-2024 : SIOMediC ―
Security of the Internet of Medical Things (member)
Partnership with INSA Centre Val de Loire - Funded by Région Centre Val de Loire
2022-2023 : DeSSUF ―
A Methodology for the Design of a Safe, Secure and User-Friendly Reactive Programming Language for the Internet of Things (member)
Partnership with University of Maribor, LPM, Slovenia - Funded by the Athena European University
2016-2019 : BSP Program Analysis, (member) Partnership with Huwaei - Funded by Huawei
2011-2014 : PaPDAS - Parallel Program Development with Algorithmic Skeletons (co-PI)
Partnership with Kochi University of Technology, IPL, The University of Tokyo and
Japan National Institute of Informatics - Funded by ANR SIMI 2 / JST (Japan Science and Technology Agency)
2006-2010 : PARSEC PARallelism and SECurity. Role : Post Doc
Funded by ANR SetIn
2003-2006 :
Contrôle de Ressources et d'Interférence dans les Systèmes Synchrones. Role Phd Student
Funded by CRISS ACI Sécurité
2002-2004 : CARAML,
CoordinAtion et Répartition des Applications Multiprocesseurs en Objective CamL. Role : Undergraduate Student
Funded by ACI GRID
Phd students
Térence Clastres, (MNSR, 2014-202?), Deductive verification of reactive programs
Florian Groult, (AID/Region, 2022-202?),
Verification of critial operating systems modules in Rust for the Internet of Objects
(co-supervised with F. Loulergue)
Jordan Ischard, (MNSR, 2021-202?, semantics of functional reactive programs )
Darine Rammal, (MNSR, 2019-2023), Reactive Programming languages for IOT, (co-supervised with P. Réty and W. Bousdira), Now Research Engineer at CEA SACLAY
Arvid Jakobsson, (CIFRE Huawei, 2016-2019), BSP-programs Static Analysis, (co-supervised with W. Bousdira, F. Loulergue, W. Suijlen, G. Hains), Now Research Engineer at Nomadics Labs
Sylvain Dailler, (French ANR, 2011-2015), Modular Certified Compilation for Parallel Programming,
(co-supervised with F. Loulergue). Now Research Engineer at Inria
Thomas Pinsard, (MNSR, 2009-2014), Nested Atomic Section with Thread Escape : Semantics and Compilation,
(co-supervised with F. Loulergue). Now Lecturer at IUT d'Orléans.
Undergraduate students
Terence Clastres, 2024, Verification of Temporal Properties by Deductive Proof
Loic Kerbaul, 2023, Implementation of FFI for SAIL
Terence Clastres, 2023, A LLVM front-end for SAIL
Activities
co-pi of the GT CLAP (Compilation, Langages, Analyses, Parallélisme), since 2024
https://orcid.org/0000-0001-9009-0676