Fundings and Collaborative Projects
ANR ICSPA - Interoperable and Confident Set-based Proof Assistants (2022-2026)
ANR EBRP - Enhancing EventB and RODIN: EventB-RODIN-Plus (2019-2023)
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)