About Me

I am a third-year Ph.D. student in the Department of Computer Science at Boston University, advised by Marco Gaboardi and Alley Stoughton. I am part of the Principles of Programming and Verification group at BU, where I organize the weekly POPV seminar series. Before joining BU, I received an M.S. in Computer Science and an A.B. in Computer Science and Mathematics from Dartmouth College, where I had the pleasure of working with Prof. Prasad Jayanti.

My research focuses on the specification and formal verification of concurrent algorithms and systems. I am particularly interested in proof development using tools such as TLA+/TLAPS, EasyCrypt, and EasyUC. Most recently, I’ve been exploring how to study linearizability as a universally composable (UC) security property using the EasyUC framework.