Search

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

Resource management consists of optimising the use of the different parts of the hardware architecture of a parallel computer (storage system
The RoboCup 2023 will open its doors in Bordeaux, from July 4 to 10th, 2023. This event, which brings together no less than 2500 competitors, 3000
If we had to define what unexpected encounters are, we could say: “a synthesis between scientific mediation and cultural exchange.” It is therefore a
Fabien LOTTE receives the Lovelace-Babbage prize from the French Academy of Sciences in partnership with the SIF (Société informatique de France)
The Palmes Académiques were awarded on March 15. Olivier Ly received the title of knight and Serge Dulucq that of commander.
JOBIM (Journées Ouvertes en Biologie, Informatique et Mathématiques) is the annual event that brings together the French bioinformatics community, an
Maxime Gonthier will defend her thesis entitled: " Scheduling Under Memory Constraint in Task-based Runtime Systems".