About me
- I’m a LOGOS master’s student in my second 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)
Pre-prints
Formal verification of tilt estimation using the Rocq prover
Reynald Affeldt, Lynda Bentoucha, Yoshihiro Ishiguro, Holger Thies
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 worked with Cyril Cohen to formalize another robotics paper using MathComp.
- I was at POPL26 and CPP as a PLMW scholarship recipient.