Search
Myriam Lopez, I&S department (TAD team), will submit her thesis entitled: "Critical error prediction in an industrial application"
Philippe Pérez de San Roman (PhD student in the I&S department, TAD team) will present his thesis entitled: "3D detection for mixed reality in
All LaBRI departments have research collaborations with industrialists. This partnership research is carried out with both large industrial groups and
The LaBRI has numerous structuring collaborative projects, some of which cover several scientific themes (this is notably the case for collaborations
The LaBRI and its regional partners are among the five projects selected by GENCI and CEA to host a local branch of the national “Maisons du Quantique
Department leader : Jean-Rémy FALLERI Co-leader : Raluca URICARU Digital methods and tools are becoming increasingly important in modern society, with
2024 - 2023 - 2022 - 2021 - 2020 PhD thesis 12/02/2024 – Thibault Hilaire: «Coverability algorithms for Petri nets certified in Coq» Manuscript ------
Team leader : Romain Bourqui (co-team leader Patricia Thébault) The Bench to Knowledge and Beyond (BKB) team conducts theoretical and applied research
At the Defence Innovation Forum (Porte de Versailles), LaBRI, in collaboration with Thales DMS, will be presenting its work on the ASSYDUS project
Presentation of the research directorate Proof assistants are particularly useful in the verification of hardware or software components for