I am a PhD student in the Veridis team at Inria Nancy, LORIA, under the supervision of Stephan Merz and Gilles Dowek. I am also an associate member of the Deducteam at the Laboratoire Méthodes Formelles.

My primary research interests focus on type theory, logic, and automated reasoning. My current research involves proving the correctness of Satisfiability Modulo Theories (SMT) solvers used in automated theorem proving. I have independently studied category theory and topos theory as complementary areas of interest, with the goal of contributing to these fields in the future.

I am also a member of Europroof working group 1: Tools on Proof Systems Interoperability.

Research interests:

• Logical frameworks
• Dependent type theory
• Category theory
• Rewriting logic
• Automated Reasoning

Publications

Conference papers

Journal papers

Education

• PhD in Theoretical Computer Science, Inria Centre at Université de Lorraine, LORIA, Nancy, 2025
• Master’s Degree in Software Development, Paul Sabatier University, Toulouse
• Bachelor’s Degree in Computer Science, Paul Sabatier University, Toulouse

Teaching

• Distributed Algorithms: modeling, verification and experimentation, TELECOM Nancy, 2025
• Modelling, Verification and Experimentation for Software-based Systems, TELECOM Nancy, 2025
• Theory of languages and grammar, TELECOM Nancy, 2024