Search
Idriss Daoudi (Satanas department) will submit his thesis entitled: “Performance modeling and simulation of OpenMP applications”
The study of dynamic networks has gained increasingly more interest over recent years, motivated mainly by emerging technological contexts like
Jean-François David will defend his thesis on 28 March 2025 at 2.30pm in the Ada Lovelace room (Inria). His thesis is entitled: ‘Dynamic scheduling
Vincent Martin will submit his thesis entitled: "New vocal biomarkers for the automatic detection of sleepiness".
Presentation The methods of logic and language theory are applied to graphs and other combinatorial objects such as maps that formalize graph drawings
Reda Kamraoui receives the MICCAI International Challenge Award for his work on the detection of new multiple sclerosis lesions.
Fabien Lotte is the 2022 winner of the USERN (Universal Scientific Education and Research Network) award in the "Formal Science" category, for his
The objective of this collaborative handbook is to present the state of the art in graph games, which are part of a larger research topic called game
Thibault Hilaire will present his thesis entitled “Coverability algorithms for Petri nets certified in Coq”.