Search

I am interested in verification of distributed systems with an unbounded number of agents running the same finite-state program. These include systems

The « Cyber Resilience of Digital Infrastructures » chair s organising a half-day event for all students on the Bordeaux and Aquitaine campuses. Free
Gabriel Bathie (M2F department, LX & Synthèse team) was awarded the prize for best paper at the 35th Annual Symposium on Combinatorial Pattern
Warren Jouanneau, I&S department (TAD team), will submit his thesis entitled: "Identification of clothing in images: from instance segmentation to
From 2023, June 8 to 10th, at the Forum des Arts et de la Culture in Talence, the 1st edition of Echappées inattendues in New Aquitaine will take
Diane Orhan, Yacine Idouar, Laércio Lima Pilla, Adrien Cassagne, Denis Barthou and Christophe Jégo received the best paper award at HCW 2025
The Flowers team at Inria is inviting Jay McClelland for a talk on Tuesday, October 3, at 10h30am. Talk: « Capturing Intelligence at the Level of
The 2026 edition of MIMM (I’m a Computer Scientist – I’m a Mathematician) will take place this year from April 7 to 10, 2026. This event, aimed at
Department leader : Cyril Gavoille (assisted by Yvan Le Borgne) The CombAlgo department studies discrete objects from a structural point of view
In their article entitled: "Will an AI soon replace your psychiatrist?", Vincent Martin, post-doc at the LaBRI and Christophe Gauld, Child