Responsable d'équipe : Réveillère Laurent L’équipe Progress mène une recherche sur le développement et la mise en oeuvre de systèmes logiciels
Responsables de département : Hugo Gimbert and Antoine Rollet Les thèmes de recherche du département incluent les fondements des méthodes formelles
L'objectif de ce manuel collaboratif est de présenter l'état de l'art sur les jeux sur graphes, qui font partie d'un sujet de recherche plus large
Le 16ème symposium FPS 2023 (Fondements et Pratiques de la Sécurité) aura lieu du 11 au 13/12/2023n à Bordeaux INP. Consulter l’annonce pour en savoir
Léo Mendiboure, qui a soutenu sa thèse au LaBRI en 2020, vient d'obtenir l’un des 3 prix Abertis France qui récompense les meilleurs travaux de
Tous les départements du LaBRI ont des collaborations de recherche avec des industriels. Cette recherche partenariale se fait aussi bien avec des