Name:Hanru Jiang

Country:China

Affiliation:Center for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China

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