Wenxi Wang (Preferred)
Wenxi Wang
Joined
May 2021
Names
Emails
****@utexas.edu (Confirmed)
****@virginia.edu (Confirmed)
Personal Links
Career & Education History
Assistant Professor
Department of Computer Science, University of Virginia, Charlottesville (virginia.edu)
2024 – 2025
PhD student
University of Texas, Austin (utexas.edu)
2018 – 2024
MS student
The University of Melbourne (unimelb.edu.au)
2014 – 2017
Advisors, Relations & Conflicts
PhD Advisor
Sarfraz Khurshid
2018 – Present
Expertise
Software Engineering
, formal method and machine learning including neural networks
2020 – Present
Software Engineering
, formal method and machine learning
2016 – 2020
Constraint solving
, machine learning
2014 – 2016