Cybersecurity remains an extremely critical subject that cuts across many important disciplines. In this cross-disciplinary area, we address this subject from the angles of systems security, software, networks, content, hardware, AI, formal methods and privacy protection.
Animation : Pierre Graux, Clémentine Maurice, Pauline Puteaux
The Energy cross-cutting theme brings together two com- plementary areas. Theme (1) involves the modelling, management, dia- gnosis, prognosis and optimisation of energy systems and markets, with a focus on renewable sources and hydro- gen. Theme (2) involves reducing the energy footprint of soft- ware and implementing incentives, with applications in embedded systems, large databases and vision.
Animation : Jean-Yves Dieulot, Luce Brotcorne
The Artificial Intelligence area of the CRIStAL laboratory studies the theoretical foundations and applications of learning algorithms, se- quential decision-making under uncertainty, neuromorphic architec- tures and multi-agent systems for the simulation of complex sys- tems. This research explores a variety of contexts: privacy, equity, decentralisation, multimedia security, using optimisation methods (game theory, HPC) and uncertainty quantification. It is applied to signal, natural language and music processing, the calculation of integro-differential equations and market equilibria, video protec- tion, agro-ecology, and simulation in a multi-disciplinary context (economists, sociologists, financial, ethologists, etc.).
Animation : Mikaela Keller, Odalric-Ambrym Maillard
This area covers research activities related to humans and their activities. We design methods and tools that facilitate human activities and the study of these activities, or that are inspired by human characteristics and/or beha- viour. We study methods for recognising and analysing the characteristics and behaviour associated with such activities.
Animation : Thomas Pietrzak
This area focuses on the design and application of formal methods and mathematical methods in computer science and modelling. We are interested in the design and analysis of algorithms and software systems for which we prove properties such as correctness, complexity, safety, responsiveness, etc. This methodological approach is applied to various fields in the unit.
Animation : Patrick Baillot, Simon Bliudze, Raphaël Monat, Charles Paperman
In this cross-disciplinary area, we design various digital tools (machine learning, optimisation, formal methods, simulations, modelling of biological systems and flexible and robotic devices, geometric and bio-mechanical modelling of anatomical struc- tures, bioinformatics methods) for the analysis, modelling and simulation of data from living organisms, including hetero- geneous data, omics, imaging and video. This research has ap- plications in ecology (evolution of species, role of interactions between molecules/individuals/species, etc.) and health (patient monitoring, prediction and diagnosis of pathologies, modelling of biological processes, simulation of surgical operations, etc.).
Animation : Cédric Lhoussaine, Julie Jacques
The design of cyber-physical systems brings together all the digital science techniques that enable machines to acquire the ability to perceive, decide and act, in order to ensure that tasks are carried out autonomously and ro- bustly in relation to a changing physical environment. A cyber-physical sys- tem is generally made up of sensors and actuators that enable interaction with the physical world, as well as digital hardware (electronic chips, micro- controllers, etc.) and software that coordinates the whole. The term ‘robot’ is usually associated with cyber-physical systems that move or perform movements. However, the fundamental principles and methodologies underlying robotic systems can be found in a wider catego- ry of machines, interacting with physical phenomena other than movement (e.g. electrical or thermal installations, etc.). At CRIStAL, the ‘Robotics and Cyber-physical Systems’ cross-cutting theme brings together activities on subjects related to automation, robotics and embedded systems, illustrated in particular by the PRETIL platform.
Animation : Laurentiu Hetel, Julien Forget, Rochdi Merzouki, Jérémie Dequidt
Mobility and transport present major societal, environmental, economic and technological challenges. In the cross-disciplinary area, we address mobility and transport at several levels: on the scale of a single mobile system (e.g. vehicle, motorised 2- wheeler, land or air robot, intelligent wheelchair, etc.), on the scale of sys- tems of systems (fleet of several interacting mobile systems, multimodal mobility, last-mile logistics, etc.) and on a large scale (road traffic, intelli- gent infrastructure, analysis of mobility and impact data, integration of sha- red means of mobility with public transport, etc.) and on different scientific aspects and themes: control/command, multi-vehicle/robot cooperation or cooperation with humans, state estimation, diagnostics and fault tolerance, data fusion, modelling, graphs, optimisation, logistics, inclusive mobility, digital twins, etc.
Animation : Cindy Cappelle, Maan El Badaoui El Najjar, Antoine Nongaillard
français
English