Name:Yusen Su

Country:Canada

Affiliation:University of Waterloo

Research interests:Programming Languages, Abstract Interpretation, Model Cheking