I am a fourth-year PhD student in Princeton University's Computer Science department
working with Prof. Aarti Gupta
My CV can be found here
I am broadly interested in topics related to software verification, with specific interests in the following:
- Relational verification
- Specification inference
- Modular verification
- Horn-Clause-based verification techniques
Exploiting Synchrony and Symmetry in Relational Verification.
Lauren Pick, Grigory Fedyukovich, Aarti Gupta. CAV'18.