Defense

My PhD defense took place on september 30th 2025, 14:00, in Amphi Turing, in Sophie Germain building, 8 place Aurélie Nemours, 75013 Paris.

The thesis

The title of my thesis is

Wait or Act: Parameterized Verification with Wait-Only Protocols and Non-Blocking Communication.

The latest version of the manuscript can be found here.

About the defense

I will defend my thesis in front of a jury composed of:

• Jérôme Leroux, Reviewer
• Roland Meyer, Reviewer
• Nathalie Bertrand, Examiner
• Anca Muscholl, Examiner
• Sylvain Schmitz, Examiner (head of the jury)
• Arnaud Sangnier, Director
• Nathalie Sznajder, Co-supervisor

Program

The presentation will last 45 minutes and will be followed by questions from the jury. The defense will be followed by a pot de thèse at IRIF, located at the 4th floor of the same building.

Access

The nearest public transportation stations are:

• Bibliothèque François Mittérand : Metro 14 and RER C
• Avenue de France : Tram T3a
• Porte de France : bus 89 and 62

The Amphi Turing is at floor -1 of the building, accessible through the stairs in front of the three lifts near the reception.