Registered user since Fri 29 Mar 2019
Name:Wenxi Wang
Country:United States
Affiliation:University of Virginia
Personal website: https://wenxiwang.github.io/
X (Twitter): https://x.com/WenxiWang4
Research interests:Formal Method, Automated Logical Reasoning, Software Verification, Machine Learning
Contributions
SPLASH/ISSTA 2026-profile
View general profile
View general profile