I am a postdoctoral researcher at the IT University of Copenhagen contributing to the advancement of Quantitative Linear Logic (QLL), with a focus on higher-order extensions and metric-based type-theoretic foundations.

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

My primary research interests are 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 am a member of the CARMA where I contribute to improving the state of the art in SMT solving, and 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

Invited Talks

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