![Hanru Jiang](https://popl20.sigplan.org/getProfileImage/hanrujiang/b3d9cbd4-36fb-44df-9023-195d002e422b/small.jpg?1712255611000)
Registered user since Mon 11 Jun 2018
Name:Hanru Jiang
Country:China
Affiliation:Center for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China
Research interests:Compiler Verification, Programming Languages, Concurrency, Program Logic
Contributions
POPL 2020-profile
View general profile
View general profile