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 CARAMBA Cryptology, arithmetic : algebraic methods for better algorithms Our research addresses the broad application domain of cryptography and cryptanalysis from the...
Project-team CARDAMOM Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts From PDEs to certified computational models : this is the motto of CARDAMOM . We aim at providing a...
Project-team CEDAR Rich Data Exploration at Cloud Scale In today's data-intensive application, variety is the norm, and is likely to remain so for a while...
Project-team COAST Web Scale Trustworthy Collaborative Service Systems The advent of the Cloud, of smart mobile devices and of service-based architecture has opened a...
Project-team COATI Combinatorics, Optimization and Algorithms for Telecommunications COATI's main objective is to develop algorithmic methods and tools, with particular emphasis on the...
Project-team COMETE Privacy, Fairness and Robustness in Information Management In COMETE we study emerging concepts of the modern era of computing. Security and privacy are some...
Project-team CTRL-A Control for safe Autonomic computing systems CTRL-A is motivated by today’s context where computing systems, large (data centers) or small...
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team ELAN modELing the Appearance of Nonlinear phenomena ELAN has the ambition to become a unique simulation team at Inria with an original positioning...
Project-team EVERGREEN Earth obserVation and machine lEarning foR aGRo-Environmental challENges The EVERGREEN team actively works on the design and implementation of cutting-edge machine learning...
Project-team KAIROS Multiform Logical Time for Formal Cyber-Physical System Design Kairos is working on how methods and tools to manage concurrency and time at different levels of...
Project-team LEMON Littoral Environment: M0dels and Numerics LEMON is a research team between Inria Sophia-Antipolis Méditerranée, Hydrosciences Montpellier (HSM...