蒋瀚如
助理研究员
团队: 量子对称
办公室: 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, 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.
更新时间: 2024-09-12 17:18:02