=====Santiago Arambillete=====

I am a PhD student at [[https://www.irif.fr/|IRIF]] since October 2023. I am working on proof assistants and the language of mathematics under the supervision of [[http://pauillac.inria.fr/~herbelin/|Hugo Herbelin]] and [[https://members.loria.fr/PdeGroote/|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 [[https://master.math.u-paris.fr/annee/m2-lmfi/|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. 

==== Interests ====

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

==== Publications ====
None so far :)

==== Contact ====
|E-mail  |''Santiago.Arambillete'' at ''irif.fr'' |
|Office  |3033 |

<!-- {{page>inc&noheader&nofooter}} -->