Project-team CONVECS Construction of verified concurrent systems CONVECS is a research team working on the formal modeling and verification of asynchronous...
Project-team DEFROST DEFormable Robotics SofTware Our Vision Future robots don’t need to be «rigid» but made of complex deformable structures...
Project-team DIANA Design, Implementation and Analysis of Networking Architectures The DIANA team conducts research in the domain of networking, with an emphasis on designing...
Project-team DISCO Dynamical Interconnected Systems: Control and Optimization The goal of the project is to better understand and well formalize the effects of complex...
Project-team DYLISS Dynamics, Logics and Inference for biological Systems and Sequences Our common "knowledge-based approach" aims at gaining in sensitivity and expressivity through a...
Project-team ECUADOR Program transformations for scientific computing The ECUADOR team studies Algorithmic Differentiation (AD) of computer programs, which aims at...
Project-team EDGE Extended formulations and Decomposition for Generic optimization problems Our research interests lie in the field of operations research (O.R.) and integer programming. Our...
Project-team EVREF Reflective Evolution of Ever-running Software Systems The objectives of Evref are to study and support the continuous evolution of large software systems...
Project-team FUN self-organizing Future Ubiquitous Network The FUN research group investigates solutions to enhance programmability, adaptability and...
Project-team GRACE Geometry, arithmetic, algorithms, codes and encryption Algorithmic number theory, and the computational issues related to algebraic curves over various...
Project-team INBIO Experimental and Computational Methods for Modeling Cellular Processes InBio is an interdisciplinary research group, combining wet and dry biology in the same lab. We...
Project-team INOCS INtegrated Optimization with Complex Structure An optimization problem consists in finding a best solution from a set of feasible solutions. Such a...
Project-team LACODAM Large scale Collaborative Data Mining The objective of the LACODAM team is to considerably facilitate the process of making sense from...