News

• I moved to EPITA Paris
• Co-organizer of RP2022, please submit!

Research

I am now (since October 2022) an "Enseignant Chercheur" (Associate Professor) in the private French grande école EPITA, Paris. More precisely, I joined the Automata and Applications group of the newly founded EPITA Research Lab (LRE).

Between October 2019 and September 2022, I was a PostDoc in the Automated Reasoning group. I was previously a PhD student (2013-2017) at LSV, ENS Paris Saclay under the supervision of Patricia Bouyer and Nicolas Markey, then a PostDoc in the Dependable Systems and Software chair of Saarbrücken.

My research interests include formal methods and model checking techniques with a particular focus on:

• Regular Model Checking and Automatic Structures
• Parameterized Systems
• Stochastic Systems and Games

In particular, my current work put an emphasis on exact learning algorithms with applications to model checking. A complete list of my publications can be found here.

Some Artifacts

• MCPPAL: Regular Model Checking for Parametric Public Announcement Logic
• Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition)

Teaching

• Game-Theoretic Techniques in Logic and Verification, main lecturer (stochastic games part) WS21
• Logic and Verification seminar: WS19, SS20, partial supervision in WS20;
• Quantitative Model Checking at Saarland University, main lecturer and teacher SS19;
• Verification at Saarland University, co-lecturer with Holger Hermanns WS18
• Advanced Concurrency Seminar at Saarland University, co-organized with Holger Hermanns WS17
• Basics of Verification at ENS Paris-Sacly, teaching assistant from 2013 to 2016
• Algorithmique 2 at ENS Paris-Sacly, teaching assistant from 2013 to 2016.

Misc

I have been administrative president (2011-12) then head of the technical team (2014-15) of the Crans organization, a volunteer internet provider on Cachan campus. Some (technical, non-scientific) talks I gave can be found here.

Nowadays, I am self-hosting my mail and cloud services under the domain name tudo.re.

I like inline-skating, (e-)biking and tinkering electronics. I use the bépo keyboard layout.