Hanru Jiang （蒋瀚如）

Assistant Research Fellow

Yanqi Lake Beijing Institute of Mathematical Sciences and Applications (BIMSA)
Room 1128A, Building 11, Yanqi Island, Huairou District, Beijing 101408 China
hanru AT bimsa DOT cn

Research

My research interests are in the area of programming languages and formal methods. In particular, I am interested in developing theories and tools to build formally certified compilers, that rigorously preserve safety, security and correctness. I am also interested in quantum programming languges and quantum program transformations.

Teaching

• 2023 | Formal Semantics of Programming Languages.
• 2022 | Graph Algorithms.
• 2021 | Foundations of Programming Languages.
• ...

Publications

• On Incorrectness Logic for Quantum Programs.
  Peng Yan, Hanru Jiang, Nengkun Yu. OOPSLA 2022.
• Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features.
  X. Fu, Jintao Yu, Xing Su, Hanru Jiang, et. al.. ACM Trans. on Quant. Comput. 2021.
• Symbolic Reasoning about Quantum Circuits in Coq.
  Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng. J. Comput. Sci. Technol. 2021.
• Towards Certified Separate Compilation for Concurrent Programs.
  Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, Xinyu Feng. PLDI 2019.
• Non-preemptive Semantics for Data-Race-Free Programs.
  Siyang Xiao, Hanru Jiang, Hongjin Liang, Xinyu Feng. ICTAC 2018.
• ...