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 PREMEDICAL Precision Medicine by Data Integration and Causal Learning The PreMeDICaL team ( Precision Medicine by Data Integration and Causal Learning) is a joint team...
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 STARS Spatio-Temporal Activity Recognition of Social interactions The Stars research team focuses on the design of cognitive vision systems for Activity Recognition...
Project-team TITANE Geometric Modeling of 3D Environments Geometric modeling and processing revolve around three main end goals: a computerized shape...
Project-team WIMMICS Web-Instrumented huMan-Machine Interactions, Communities and Semantics The web is no longer the simple documentary system built on a simple protocol (HTTP), a simple...
