Alain Chavarri Villarello

I am currently a PhD candidate in the Department of Mathematics at Vrije Universiteit Amsterdam, working under the supervision of Sander Dahmen. My research focuses on the formalization of computational algebraic number theory. In 2025, I was awarded the KWG PhD Prize of the Royal Dutch Mathematical Society.

My mathematical interests include formalization, algebraic number theory, elliptic curves, and post-quantum cryptography. Before starting my PhD, I completed a master’s degree in mathematics at Vrije Universiteit Amsterdam and a bachelor’s degree in applied mathematics at Instituto Tecnológico Autónomo de México (ITAM), both cum laude.

Recently, as formalization and AI become increasingly intertwined, I’ve grown interested in the interaction between mathematics, technology, and society, including the impact of automation on mathematical research and beyond. I was part of the working group that wrote the Leiden Declaration on AI and Mathematics.

The best way to contact me is via email: a.chavarri.villarello@vu.nl