About me

I am a first year PhD student in computer science at Inria Paris, under the supervision of Yannick Forster and François Pottier in the Cambium team. I am working on meta-programming in the Rocq proof assistant. In particular I want to enable verifying meta-programs.

News

• The preprint for my survey of meta-programming in proof assistants (with Yannick Forster) is up on HAL.