BHEE 326B
West Lafayette, IN 47907

I am an Assistant Professor in the Elmore Family School of Electrical and Computer Engineering at Purdue University. My research is at the intersection of software engineering and formal methods, with an emphasis on developing rigorous program analysis and verification techniques to improve the security, robustness, and fairness of software systems. I was 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.

Contact: wang6203@purdue.edu

I am planning to recruit PhD students to begin their studies in Fall 2025.
Drop me an email if you are interested in working with me.