Fundings and Collaborative Projects
ANR-TAPAS - Time-Aware Proof ASsistants (2025-2028)
ANR-ICSPA - Interoperable and Confident Set-based Proof Assistants (2022-2026)
AN- EBRP - Enhancing EventB and RODIN: EventB-RODIN-Plus (2019-2025)
ANR-DISCONT - Correct Integration of DIScrete and CONTinous model (2018-2023)
ANR-FORMEDICIS - FORmal MEthods for the Development and the engineering of Critical Interactive Systems (2017-2022)
Str@Se - Strategic Software Engineering & Tools (2020-2022)
CIFRE-RATP - Elaboration d’une méthodologie de vérification formelle de spécifications B dans l’atelier de preuve PERF (2016-2020)
IntegR - Integration of Rigorous Methods & Tools (2018-2020)
ANR IMPEX - IMPlicit and EXplicit semantics integration in proof-based developments of discrete systems (2015-2017)
IRT INGEQUIP - Modelling and Formal Verification in Action (2015-2016)
IDEX University of Toulouse Programme "Nouveaux Entrants" (2015-2017)