About me

• I’m a LOGOS master’s student in my gap year at UFR Mathématiques of Université Paris-Cité.
• I graduated with a Mechanical Engineering Bachelor’s degree from Sorbonne Université.
• I’m interested in formal verification of cyber-physical systems and more generally proof theory and logic.

Ongoing

• I’m working with Reynald Affeldt on the formalization in Rocq of elements of control theory using Robot-Rocq and the MathComp librairies, namely the Lyapunov second theorem to study the stability of physical systems. This work will be presented at JFLA 2026, and was partly financed thanks to the SMARTS-UP Graduate School scholarship program of Université Paris Cité in an internship between CNRS-AIST JRL and IPRI at AIST Tokyo.
• I’ll be at ENS Lyon in February 2026, under the supervision of Olivier Laurent, working on the formalization of proof nets in linear logic.
• I’ll be at POPL26 and CPP as a PLMW scholarship recipient.