基本信息
詹博华男硕导软件研究所
电子邮件： bzhan@ios.ac.cn
通信地址： 中国科学院软件所
邮政编码：
部门/实验室：计算机科学国家重点实验室
研究领域

招生信息
招生专业081202-计算机软件与理论

招生方向形式化方法


教育背景2010-09--2014-06普林斯顿大学博士学位
2007-09--2010-06麻省理工学院学士学位

学历
学位

工作经历
工作简历2017-08~2018-07,慕尼黑工业大学,博士后
2014-09~2017-06,麻省理工学院,博士后
2010-09~2014-06,普林斯顿大学,博士学位
2007-09~2010-06,麻省理工学院,学士学位

社会兼职

教授课程

专利与奖励
奖励信息
专利成果

出版信息
发表论文（1）Smooth manifolds and types to sets for linear algebra in Isabelle/HOL,International Conference on Certified Programs and Proofs,2019,第2作者
（2）Formal verification of quantum algorithms using quantum Hoare logic,International Conference on Computer Aided Verification,2019,第11作者
（3）NIL: Learning Nonlinear Interpolants,International Conference on Automated Deduction,2019,第11作者
（4）Efficient Verification of Imperative Programs Using Auto2,Tools and Algorithms for the Construction and Analysis of Systems,2018,第1作者
（5）Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle,International Joint Conference on Automated Reasoning,2018,第1作者
（6）Formalization of the Fundamental Group in Untyped Set Theory Using Auto2,Interactive Theorem Proving,2017,第1作者
（7）Auto2, A Saturation-Based Heuristic Prover for Higher-Order Logic,Interactive Theorem Proving,2016,第1作者

发表著作

科研活动
科研项目（ 1 ） ****C类, 主持,部委级,2019-01--2020-12

参与会议

合作情况
项目协作单位

指导学生