About Me

I’m a third-year computer science PhD student at the University of Iowa, where I am a member of the Computational Logic Center. I work under the supervision of Dr. Cesare Tinelli and Dr. Omar Chowdhury (@ Stony Brook University), and my research interests focus on formal methods, often with applications in computer security. You can find my CV here (last updated in June 2024).

When I’m not working, I enjoy playing guitar, reading, running, and weightlifting.