BIMSA > Hanru Jiang
Assistant Professor Hanru Jiang

Group: Quantum Symmetry

Office: A3-3a-303

Email: hanru@bimsa.cn

Research Field: Programming languages, formal method, quantum programming

Biography

Hanru Jiang obtained a Ph.D. in computer science and technology from the University of Science and Technology of China in 2019. From 2019 to 2020, he worked as an assistant research fellow at the Quantum Computing Research Center of Pengcheng Laboratory. In 2020, he joined BIMSA as an assistant professor. His main research directions are programming language theory, compiler verification, and programming language aspects in quantum computing. As the main contributor to the concurrent program separation compilation verification work CASCompCert, won the Distinguished Paper Award of PLDI 2019, a top conference in the field of programming languages.

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, accepted by European Symposium on Programming (ESOP) 2025 (2024)
  • [2] Peng Yan, Hanru Jiang, Nengkun Yu, Approximate Relational Reasoning for Quantum Programs, CAV 2024, 14683 (2024)
  • [3] Hanru Jiang, Qubit Recycling Revisited, Proceedings of the ACM on Programming Languages, 8(2024), PLDI, 1264-1287
  • [4] Peng Yan*, Hanru Jiang*, Nengkun Yu, On Incorrectness Logic for Quantum Programs, Proceedings of the ACM on Programming Languages, 6(2022), OOPSLA1
  • [5] 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
  • [6] 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
  • [7] PLDI ’19, Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha and Xinyu Feng, Towards Certified Separate Compilation for Concurrent Programs. (Distinguished Paper Award)
  • [8] ICTAC ’18, Siyang Xiao, Hanru Jiang, Hongjin Liang and Xinyu Feng, Non-preemptive Semantics for Data-Race-Free Programs.

 

Update Time: 2024-09-12 17:18:02