All LaBRI departments have research collaborations with industrialists. This partnership research is carried out with both large industrial groups and
Team leader : Pierre Ramet The Satanas team aims to contribute to the efficient realisation of frontier simulations resulting from challenging
The LaBRI has numerous structuring collaborative projects, some of which cover several scientific themes (this is notably the case for collaborations
Department leader : Jean-Rémy FALLERI Co-leader : Raluca URICARU Digital methods and tools are becoming increasingly important in modern society, with
Presentation of the research directorate Proof assistants are particularly useful in the verification of hardware or software components for
Who hasn't dreamed of diving into the memory of the oceans, playing soccer with robots, or discovering the secrets of industrial espionage? The CNRS
The Chair Mobility and Intelligent Transport organizes the day "(Cyber) security and safety of connected mobilities" - Tuesday, May 10th at 11am
Seven IT start-ups are the direct result of research projects carried out by LaBRI researchers. IQSPOT : Automatic reading and real-time analysis of
General presentation The "Modelling and Verification" axis is concerned with the modelling, verification and testing of complex IT systems. They
The NUMERICS seminar, a transdisciplinary seminar on scientific culture and the societal issues of the Digital Age, will take place in the LaBRI