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.
Publications
Conference papers
Formalisation de la stabilité de l’erreur d’estimation de l’inclinaison d’un robot
Lynda Bentoucha, Reynald Affeldt
Journées Francophones des Langages Applicatifs (JFLA) (2026)
Ongoing
- I worked 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 was 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.
- My internship with Olivier Laurent, working on the formalization of rule commutation in Multiplicative Linear Logic has ended at the end of June.
- I am now working with Cyril Cohen to formalize another robotics paper using MathComp.
- I was at POPL26 and CPP as a PLMW scholarship recipient.