I am a PhD student at IRIF since October 2023. I am working on proof assistants and the language of mathematics under the supervision of Hugo Herbelin and Philippe de Groote. The working title of my thesis is “Investigations into the logical and linguistic structure of the vernacular language of mathematics.”

I did my master’s at Université Paris Cité (M2 LMFI) in 2022/2023, and before that I did a Bachelor’s in mathematics at Universidad de la República, in Montevideo, Uruguay.

• Formalization of mathematics
• Type theory
• Linguistics & languages
• Category theory

None so far :)