Automation, Production and Computer Sciences (DAPI) - Research
Our research and teaching is organised under three main themes:
- Software engineering and distributed systems. The STACK team studies challenges related to the management and advanced uses of Utility Computing infrastructures (i.e. Cloud, Fog, Edge, and beyond). The NaoMod team (Nantes Software Modeling Group) tackles challenges linked to the continuous construction of software by relying on model-based engineering, with many industrial applications in domains such as IoT or Cyber-Physical Systems (CPSs). The Gallinette team is developing a new generation of proof assistants (for programming languages notably), with the belief that practical experiments must go hand in hand with fundamental research.
- Optimisation and decision-making. MODELIS (Modelling, Optimisation and DEcision for Logistics, Industry and Services) develops analytical methods for optimisation and decision-making support in production, logistics and transports. The team's contributions include the development of novel approaches (heuristics, meta-heuristics, or exact methods), as well as the modelling and resolution of new complex problems. The TASC team (Theory and Applications of Constraint Systems) focuses on the theory and practice of combinatorial problem solving, a unifying and flexible paradigm combining optimisation and relaxation which accounts for both dynamic constraints and business rules.
- Cyber-physical systems. CODEx (Command, Observation, Diagnostic and Experimentation) targets dynamic systems including continuous time, discrete time, linear systems, non-linear systems, or commutation systems as well as delay systems, in the domain of actuators, transport systems, renewable energies, the living. ReV (Robotics and Living) works on robotics at the interface with the living as a source of inspiration (bio-robotics), or as the environment with whom a robot interacts with, in the industry domain and for the society (health, human assistance) via a multi-disciplinary approach. The PACCE team (Perception, Action, Cognition for Design and Ergonomics) focuses on human-centered design, particularly virtual environments design, human-machine and human-human collaboration. From an application perspective, we are interested in dynamic activities, possibly with critical systems, such as medical procedures.
All these research teams are part of the CNRS research center LS2N (Laboratory of Digital Sciences of Nantes) The STACK and Gallinette teams are also Inria center-teams attached to Inria Rennes - Bretagne Atlantique.