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.
Group:
Quantum Symmetry
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] Keren Li, Peng Yan, Hanru Jiang, Nengkun Yu, Towards Efficient Verification of Computation in Quantum Devices, IEEE International Conference on Quantum Computing and Engineering (QCE25) (2025)
- [2] 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)
- [3] Yu Wang, Hanru Jiang, Yongxiang Liu, Keren Li, Direct measurement of density matrices via dense dual bases (2024)
- [4] Peng Yan, Hanru Jiang, Nengkun Yu, Approximate relational reasoning for quantum programs, Computer Aided Verification (CAV 2024), 14683, 495-519 (2024)
- [5] Hanru Jiang, Qubit Recycling Revisited, Proceedings of the ACM on Programming Languages, 8(2024), PLDI, 1264-1287
- [6] Peng Yan*, Hanru Jiang*, Nengkun Yu, On Incorrectness Logic for Quantum Programs, Proceedings of the ACM on Programming Languages, 6(2022), OOPSLA1
- [7] 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
- [8] 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
- [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)
- [10] S Xiao, H Jiang, H Liang, X Feng, Non-Preemptive Semantics for Data-Race-Free Programs, International Colloquium on Theoretical Aspects of Computing (2018)
Update Time: 2026-06-21 18:00:08