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 KOPERNIC Keeping worst case reasoning for different criticalities A cyber-physical system (CPS) has cyber (or computational) components and physical components that...
Project-team OURAGAN Tools for resolutions in algebra, geometry and their applications OURAGAN focus on the transfer of computational algebraic methods to some related fields...
Project-team SERENA Simulation for the Environment: Reliable and Efficient Numerical Algorithms The project-team SERENA is concerned with numerical methods for environmental problems. The main...
Project-team ALMANACH Automatic Language Modelling and Analysis & Computational Humanities The ALMAnaCH project-team (Automatic Language Modelling and Analysis & Computational Humanities) is...
Project-team QUANTIC QUANTum Information Circuits The activities of the QUANTIC team are defined at the theoretical and experimental border of the...
Project-team VALDA Value from Data Valda’s focus is on both foundational and systems aspects of complex data management, especially...
Project-team WHISPER Well Honed Infrastructure Software for Programming Environments and Runtimes The focus of Whisper is on how to develop (new) and improve (existing) infrastructure software...
Project-team MATHERIALS MATHematics for MatERIALS The purpose of the scientific activity of the MATHERIALS research team is to design efficient...
Project-team MOKAPLAN Advances in Numerical Calculus of Variations The last two decades have witnessed a remarkable convergence between several sub-domains of the...
Project-team MUSCLEES Mathematical Understanding across Scales of Complex Living Ecosystems with Emerging Structures
Nastassia Pouradier Duteil. Life sciences Nastassia Pouradier Duteil, a passion for collective dynamics 31/05/2024