BIMSA > Hanru Jiang
Associate Professor Hanru Jiang

Group: Quantum Symmetry

Office: A13-104

Email: hanru@bimsa.cn

Research Field: Programming languages, formal method, quantum programming

Biography

Hanru Jiang is an Associate Researcher at BIMSA. He received his Ph.D. in Computer Science and Technology from the University of Science and Technology of China in 2019. From 2019 to 2020, he was an Assistant Researcher at the Quantum Computing Research Center, Peng Cheng Laboratory. His research interests lie in programming language theory, formal verification of compilers, and programming language issues in quantum computing. His work has been published in premier venues such as PLDI, CAV, and OOPSLA. He was a recipient of the PLDI 2019 Distinguished Paper Award.

Education Experience

  • 2013 - 2019      University of Science and Technology of China      Computer Software and Theory      Doctor      (Supervisor: Xinyu Feng, Hongjin Liang)
  • 2008 - 2013      University of Science and Technology of China      Statistics      Bachelor

Work Experience

  • 2020 -      BIMSA      Assistant Professor
  • 2019 - 2020      Pengcheng Laboratory      Assistant Research Fellow

Honors and Awards

  • 2019      PLDI Distinguished Paper Award

Publication

  • [1] Weijie Fan, Hongjin Liang, Xinyu Feng, Hanru Jiang, A Program Logic for Concurrent Randomized Programs in the Oblivious Adversary Model, European Symposium on Programming (ESOP) 2025 (2025)
  • [2] Yu Wang, Hanru Jiang, Yongxiang Liu, Keren Li, Direct measurement of density matrices via dense dual bases (2024)
  • [3] Peng Yan, Hanru Jiang, Nengkun Yu, Approximate relational reasoning for quantum programs, Computer Aided Verification (CAV 2024), 14683, 495-519 (2024)
  • [4] Hanru Jiang, Qubit Recycling Revisited, Proceedings of the ACM on Programming Languages, 8(2024), PLDI, 1264-1287
  • [5] Peng Yan*, Hanru Jiang*, Nengkun Yu, On Incorrectness Logic for Quantum Programs, Proceedings of the ACM on Programming Languages, 6(2022), OOPSLA1
  • [6] Xiang Fu, Jintao Yu, Xing Su, Hanru Jiang, et al., Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features, ACM Transactions on Quantum Computing, 2(2021), 4
  • [7] Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng, Symbolic Reasoning about Quantum Circuits in Coq, Journal of Computer Science and Technology, 36(2021), 6, 1291-1306
  • [8] S Xiao, H Jiang, H Liang, X Feng, Non-Preemptive Semantics for Data-Race-Free Programs, International Colloquium on Theoretical Aspects of Computing (2018)
  • [9] H Jiang, H Liang, S Xiao, J Zha, X Feng, Towards certified separate compilation for concurrent programs, Proceedings of the 40th ACM SIGPLAN Conference on Programming Language (2019)

 

Update Time: 2026-03-11 10:00:07