Name:Linhan Li

Country:United States

Affiliation:George Mason University

Research interests:Software Engineering, Formal Methods, Input generation, Neural Network Verification