Project-team CAMBIUM Programming languages: type systems, concurrency, proofs of programs The research conducted in the Cambium group aims at improving the safety, reliability and security...
Project-team CONVECS Construction of verified concurrent systems CONVECS is a research team working on the formal modeling and verification of asynchronous...
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team DEVINE DEpendable distributed systems: formal VerificatIoN made Efficient The overall goal of the Devine project-team is to contribute to the design of dependable distributed...
Project-team EPICURE Semantic analysis and compilation for secure execution environments The frequent announcements of yet another cybersecurity breach show that the security of the...
Project-team GALLINETTE Gallinette: developing a new generation of proof assistants The EPI Gallinette aims at developing a new generation of proof assistants, with the belief that...
Project-team MOCQUA Designing the Future of Computational Models The goal of the Mocqua team is to tackle challenges coming from the emergence of new or future...
Project-team OLAS Operational, Logical, and Algebraic foundations for Software systems Software is more and more transforming our daily lives. However, it is also becoming more and more...
Project-team QUACS Quantum Computation Structures Encoding information within quantum systems and manipulating them promises to lead to great...
Project-team STAMP Safety Techniques based on Formalized Mathematical Proofs The STAMP project-team studies the formal verification of algorithms and mathematical results using...
Project-team TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata is a research group of the INRIA Saclay-Île-de-France researchcenter, joint with the...