About
I’m a first-year Ph.D. student at the University of Michigan, co-advised by Manos Kapritsos and Yatin Manerkar. Before that, I was a software developer working on Microsoft’s C++ Compiler team on the ARM64EC ABI. Before that I was a Master’s student and undergrad (pure math & cs) at UofM.
Interests
I’m currently interested in the intersection of formal methods and programming languages, specifically questions about what models we should be using to be able to better express proofs that a program is correct. To that end, I’m primarily devoting my time learning about various logic systems as well as state-of-the-art verification frameworks and how they’re being used.
Contact
You can find me at pransrin <at> proton <dot> me, or at pransrin <at> umich <dot> edu.