Name:Yusen Su

Country:Canada

Affiliation:New York University, University of Waterloo

Research interests:Programming Languages, Abstract Interpretation, Model Cheking