Name:Hanru Jiang

Country:China

Affiliation:Peng Cheng Laboratory

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