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 PESTO Proof techniques for security protocols The aim of the Pesto project is to build formal models and techniques, for computer-aided analysis...
Project-team POEMS Wave propagation: mathematical analysis and simulation The general activity of the team is oriented toward the design, the analysis and the numerical...
Project-team POLARIS Performance analysis and Optimization of LARge Infrastructures and Systems The goal of the POLARIS project is to contribute to the understanding (from the observation...
Project-team RAPSODI Reliable numerical approximations of dissipative systems RAPSODI is a common research team with Université de Lille and CNRS. Its activity is devoted on...
Project-team SCOOL Sequential decision making under uncertainty problem The scientific project of Scool is focussed on sequential decision making under uncertainty. In...
Project-team SEMAGRAMME Semantic Analysis of Natural Language The overall objective of the Sémagramme project is to design and develop new unifying logic-based...
Project-team STARS Spatio-Temporal Activity Recognition Systems The Stars research team focuses on the design of cognitive vision systems for Activity Recognition...
Project-team STORM STatic Optimizations, Runtime Methods The successes of computer science in numerical scientific simulation, indata analysis and now in...
Project-team TITANE Geometric Modeling of 3D Environments Geometric modeling and processing revolve around three main end goals: a computerized shape...
Project-team VERIDIS Modeling and Verification of Distributed Algorithms and Systems VeriDis is a joint research group of Inria Nancy, Max-Planck Institut für Informatik, CNRS and the...
Job opportunities PhD Position F/M Data capture and collection by energy-free sensors and ultra-low power transmission in hostile environments Deadline to apply 30/06/2024
Job opportunities PhD Position F/M Algorithms for dynamic risk prediction with longitudinal data Deadline to apply 24/06/2024