I am a postdoctoral researcher working within the research group Deducteam.

My research centers around the development of mathematical and computational structures for automated reasoning. In particular, I have a special interest in combining type-theoretic and set-theoretic techniques for interactive theorem proving.

Since June 2024, I have been working on a project supported by the ANR mission ICSPA for automated reconstruction of proofs generated by the industrial verification tool Atelier-B.

From April 2024 to April 2025, I worked on a project supported by an Amazon Research Award for translating proof certificates from SMT solvers to the proof assistant LambdaPi. This work led to the development of a tool eo2lp for translating signatures and proofs from Eunoia to LambdaPi, which is discussed in the following draft.

Working Papers and Drafts

Publications

PhD Thesis