Biography
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.
