Image
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 2026.
Drop me an email if you are interested in working with me.

News

  • 2026-04: Our paper "Incremental Inference for Probabilistic Datalog" was accepted at CAV 2026.
  • 2026-04: Our paper "Efficient Symbolic Execution of Software under Fault Attacks" was accepted at ECOOP 2026.
  • 2026-02: Our paper "Mechanically Translating Iterative Dataflow Analysis to Algebraic Program Analysis" was accepted at OOPSLA 2026.
  • 2025-12: Our paper "Towards Performance Robustness for Microservices" was accepted at NSDI 2026.
  • 2025-06: Our paper "Probabilistic Inference for Datalog with Correlated Inputs" was accepted at OOPSLA 2025.
  • 2025-02: Invited to serve as a PC member for OOPSLA 2026.
  • 2024-11: Invited to serve as a PC member for CAV 2025.
  • 2024-11: Invited to Dagstuhl Seminar on Sound Static Program Analysis.
  • 2024-11: Our paper "An Incremental Algorithm for Algebraic Program Analysis" was accepted at POPL 2025.
  • 2024-10: Invited to serve as the organizing chair of PLMW@PLDI25.
  • 2024-10: Invited talk at Advanced Topics in Machine Learning and Formal Methods @ UIUC.
  • 2024-08: I started my new job as an Assistant Professor in ECE @ Purdue.
  • 2024-07: Our paper "FairQuant: Certifying and Quantifying Fairness of Deep Neural Networks" was accepted at ICSE 2025.
  • 2024-03: Invited to attend NSF SaTC Aspiring PI Workshop.
  • ... 2024 Invited to serve as a PC member for ISSTA 2025, TACAS 2025, and ICSE 2025.
  • 2023-09: I began working as a Postdoctoral Researcher at UT Austin.
  • 2023-08: I defended my PhD thesis!

Students