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 CAMIN Control of Artificial Movement & Intuitive Neuroprosthesis Camin team has grown out of the former Demar team. Our research is dedicated to the design and...
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 CRONOS Computational modelling of brain dynamical networks The estimation, quantification and comparison of brain dynamics is one of the central challenges of...
Project-team DATASHAPE Understanding the shape of data DataShape is a research project in Topological Data Analysis ( TDA), a recent field whose aim is to...
Project-team DIVERSE Diversity-centric Software Engineering Our main objective is to automatically compose and synthesize software diversity from design to...
Project-team EMERAUDE EMbEdded pRogrammable AUDio systEms The Emeraude team combines the skills of: the Center of Innovation in Telecommunication and...
Project-team EPIONE E-Patient: Images, Data & MOdels for e-MediciNE Description Our long-term goal is to contribute to the development of what we call the e-patient...
Project-team ERABLE European Research team in Algorithms and Biology, formaL and Experimental Cells are seen as the basic structural, functional and biological units of all living systems. They...
Project-team FUN self-organizing Future Ubiquitous Network The FUN research group investigates solutions to enhance programmability, adaptability and...
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 MOEX Evolving Knowledge Human beings are apparently able to communicate knowledge. However, it is impossible for us to know...
Project-team MOKAPLAN Advances in Numerical Calculus of Variations The last two decades have witnessed a remarkable convergence between several sub-domains of the...