Name:Yuting Wang

Country:China

Affiliation:John Hopcroft Center for Computer Science - Shanghai Jiao Tong University

Research interests:Formal Verification, Programming Languages, Proof Theory, Type Theory, Logical Framework