Sudhir Murthy (Preferred)
Sudhir Murthy
Pronouns: he/him
PhD student, Mathematics, University of California, Riverside
- Joined September 2025
Names
Emails
****@ucr.edu (Confirmed)
Personal Links
Career & Education History
PhD student
Mathematics, University of California, Riverside (ucr.edu)
2024 – Present
Advisors, Relations & Conflicts
Expertise
interactive theorem proving, proof assistants, Lean, autoformalization
2024 – Present