Jingbo Wang

Jingbo Wang is an Assistant Professor in the Elmore Family School of Electrical and Computer Engineering at Purdue University, where he conducts research at the intersection of software engineering and formal methods. His work emphasizes developing rigorous program analysis and verification techniques to improve the security, robustness, and fairness of software systems. Prior to joining Purdue in August 2024, he was a Postdoctoral Researcher in the Department of Computer Science at University of Texas, Austin, working with Professor Isil Dillig. He obtained his PhD in Computer Science from the University of Southern California in 2023 under the supervision of Professor Chao Wang.

Dr. Wang's educational background includes:

• PhD in Computer Science, University of Southern California, 2023
• Postdoctoral Researcher, University of Texas, Austin, 2023-2024

Dr. Wang's research focuses on bridging software engineering and formal methods to create more secure, robust, and fair software systems. His work spans several key areas:

• Program Analysis and Verification: Developing techniques for static and dynamic analysis of software systems
• Security and Privacy: Creating methods to detect and prevent security vulnerabilities and privacy leaks
• Fairness in Machine Learning: Certifying and quantifying fairness properties of AI systems
• Formal Methods for Neural Networks: Verification techniques for deep learning models

His recent publications demonstrate a strong trend toward applying formal methods to machine learning systems, particularly in ensuring fairness and robustness. He has published extensively in top-tier venues including PLDI, POPL, ICSE, and CAV, with multiple papers on verifying properties of neural networks and decision trees. His work often combines program analysis techniques with constraint solving and optimization approaches.

Dr. Wang has received numerous awards and recognitions for his research:

• ACM SIGPLAN Distinguished Paper Award, PLDI, 2023
• MIT EECS Rising Star, MIT, 2021
• WiSE Merit Award, USC, 2021
• Selected to participate in the 7th Heidelberg Laureate Forum, 2019
• Selected for CRA-W Grad Cohort for Women Workshop, 2019
• Multiple conference scholarships including VMW Scholarship (CAV'19) and PLMW Scholarship (PLDI'19)

Dr. Wang is actively mentoring students and planning to recruit PhD students for Fall 2025. He currently advises:

• Siyu Chen (PhD student, 2024 Fall -- present)
• Xuyang Li (PhD student, 2024 Fall -- present)
• Multiple undergraduate researchers including Weiyi Chen, Yaoyang Ye, Paul Jiang, and Sarthak Tandon

He has also served as a mentor for the PLMW @ PLDI'21 and USC Viterbi Graduate Mentorship Program.

Dr. Wang is deeply involved in the programming languages and formal methods research community, serving on multiple program committees including OOPSLA, PLDI, CAV, ICSE, and ISSTA. His GitHub repository shows active work on fair decision trees and formal verification techniques, indicating an active research lab focused on the intersection of formal methods and machine learning.