Ashvni Narayanan (Preferred)
Ashvni Narayanan
Imperial College London
- Joined September 2022
Names
Emails
****@imperial.ac.uk (Confirmed)
Personal Links
Education & Career History
PhD student
Imperial College London (imperial.ac.uk)
2019 – 2023
MS student
University of British Columbia (ubc.ca)
2017 – 2019
Undergrad student
Indian Statistical Institute, Bangalore (isibang.ac.in)
2014 – 2017
Advisors, Relations & Conflicts
PhD Advisor
Kevin Buzzard
2019 – 2023
Expertise
Formal verification
2020 – 2022
Number theory
2017 – 2022