Contact

Wenxi Wang

Assistant Professor, Computer Science
Contact
Personal Webpage Twitter

About

I completed my Ph.D. at University of Texas at Austin under the supervision of Sarfraz Khurshid. During my Ph.D., I also closely collaborated with Kenneth McMillan and Darko Marinov. Prior to my Ph.D., I earned an MPhil (a research master's degree) from University of Melbourne, where I was supervised by Harald Søndergaard and Peter J. Stuckey.

My interests lie in the intersection of Software Engineering, Software Security, Formal Methods, and Machine Learning. My research is dedicated to enhancing the security and reliability of software systems, including AI systems. To achieve this goal, I focus on developing and applying efficient techniques in formal methods and machine learning, as well as exploring the synergies between these two fields. Results of my work have been published in top venues such as ICSE, ESEC/FSE, ASE, ICLR, PLDI, and TACAS. 

Education

Ph.D., The University of Texas at Austin, 2024

Research Interests

Software Engineering Software Reliability (including ML systems), Software Verification and Validation, Software Testing
Machine Learning Graph Neural Networks, Reinforcement Learning, LLM
Formal Methods Automated Reasoning (e.g., SAT/SMT Solving, Model Counting)

Awards

MIT EECS Rising Stars 2022