Name:Wenxi Wang

Country:United States

Affiliation:University of Texas at Austin, USA

Research interests:Formal Method, SAT/SMT Solving, Software Verification, Machine Learning