Research

This is a bit empty at the moment…

• Formalizing models of type theory. 3-month intership supervised by Anders Mörtberg, at Stockholm University, during my M1. (currently in progress)
• Hashing and boolean decision trees in Rocq. 6-week internship supervised by David Monniaux, at Université Grenobles-Alpes, during my L3. Report PDF.