BIMSA > 蒋瀚如
助理研究员 蒋瀚如

团队: 量子对称

办公室: A3-3a-303

邮箱: hanru@bimsa.cn

研究方向: 程序语言、形式化方法、量子计算

个人简介

蒋瀚如于2019年在中国科学技术大学取得计算机科学与技术博士学位，2019-2020年在鹏城实验室量子计算研究中心担任助理研究员，2020年加入BIMSA任助理研究员。他的主要研究方向为程序语言理论、编译器的形式化验证和量子计算中的程序语言问题。作为并发程序分离编译验证工作CASCompCert的主要完成人，获得程序语言领域顶级会议PLDI 2019的Distinguished Paper Award。

教育经历

  • 2013 - 2019      中国科学技术⼤学      计算机软件与理论      博士      并发程序分离编译的验证      (Supervisor: 冯新宇,梁红瑾)
  • 2008 - 2013      中国科学技术⼤学      统计学      学士

工作经历

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

荣誉与奖项

  • 2019      PLDI Distinguished Paper Award

出版物

  • [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] Y Wang, H Jiang, Y Liu, K Li, Direct measurement of density matrices via dense dual bases, arXiv (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)

 

更新时间: 2025-08-11 17:00:07