In this episode talk with Ashvni Narayanan, a Graduate Student at the London School of Geometry and Number Theory working under the auspice of Prof. Kevin Buzzard. Ashvni studied Galois representations of elliptic curves during her Master's at the University of British Columbia, Vancouver advised by Prof. Sujatha Ramadorai, and completed a Bachelor's in Mathematics at the Indian Statistical Institute, Bangalore. 

Ashvni currently works on formalizing algebraic number theory in a program called Lean. We converse about her incredible random walks through life and science; her terrific mentors who've inspired her; automating mathematical theorem proving: nature of research and collaborations in a (post) pandemic world; taking care of one's mental, physical, and emotional health in academia; the fantastic Hmm podcast she started during the lockdown; and many more things! 

Resources to learn about the Xena Project and Lean: 

https://xenaproject.wordpress.com/useful-links/

https://leanprover-community.github.io/learn.html