Introducing myself: María Inés de Frutos-Fernández

Stream: new members

[María Inés de Frutos Fernández]

Hi! I recently started working as a postdoc in Kevin Buzzard's group at Imperial College. I have a PhD in Algebraic Number Theory and I am interested in formalizing results in this area.

[Martin Dvořák]

Awesome!!

[Hunter Monroe]

What specifically

[Kevin Buzzard]

Maria's job spec is the mathematics related to the Langlands Program

[Scott Morrison]

so, everything, right? :-)