Wenxi Wang
Assistant Professor, Computer Science
About
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
Improving the security and reliability of software systems
including ML systems
Improving the efficiency of automated logical reasoning systems using ML techniques
Awards
MIT EECS Rising Stars
2022