SAL 339, 941 Bloom Walk
Los Angeles, CA 90089, USA

My research is at the intersection of software engineering and formal methods, with an emphasis on developing rigorous program analysis and synthesis techniques to improve the security, robustness, and fairness of software systems. I will be a Postdoctoral Researcher in the Department of Computer Science at University of Texas, Austin, working with Professor Isil Dillig. I obtained my PhD in Computer Science from the University of Southern California in 2023, where I worked with Professor Chao Wang.


I will be an Assistant Professor at ECE@Purdue, starting in Fall 2024.
Drop me an email if you are interested in working with me.