Name:Wenxi Wang

Country:United States

Affiliation:The University of Texas at Austin, Texas, USA

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