About me

I’m a first year PhD student in computer-science student at INRIA Paris, under the supervision of Yannick Forster and Nicolas Tabareau. My main interests are type theory and the implementation of proof-assistants.