Name:Yang Hu

Country:United States

Affiliation:The University of Texas at Austin

Research interests:Software Security, Automated Reasoning, Machine Learning