Name:Hanru Jiang

Country:China

Affiliation:University of Science and Technology of China

Research interests:Compiler Verification, Programming Languages, Concurrency, Program Logic