معرفی
Wenxi Wang is an Assistant Professor in the Department of Computer Science at the University of Virginia. His research focuses on enhancing software reliability and security through the integration of formal methods and machine learning, particularly in areas like SAT solving, graph neural networks, and cloud access control. He holds a Ph.D. from the University of Texas at Austin and an MPhil from the University of Melbourne.
Education
- Ph.D., University of Texas at Austin (2024)
- MPhil (Research Master's), University of Melbourne
Research Interests
Wenxi Wang’s work bridges software engineering, security, formal methods, and machine learning. Key areas include:
- Software reliability (especially for AI systems)
- Verification and validation techniques
- SAT solving and automated reasoning (e.g., SMT solving)
- Graph neural networks and reinforcement learning applications
Awards
- MIT EECS Rising Stars (2022)
- George J. Heuer, Jr. Ph.D. Fellowship (2023–2024)
Service & Leadership
He serves on program committees for top venues like ICSE, CAV, and ASE, and chairs sessions on verification and testing at ECOOP and ASE. His group, the Hiprel Group, actively develops tools like NeuroBack and DataBack to advance SAT solving and software reliability.
Labs/Groups
Leads the Hiprel Group, focused on integrating machine learning with formal methods for secure software systems.
