詹博華

詹博華，男，中國科學院大學專職教師。

基本介紹

• 中文名：詹博華
• 畢業院校：普林斯頓大學
• 學位/學歷：博士
• 職業：教師

人物經歷

教育背景

2010-09--2014-06 普林斯頓大學 博士學位

2007-09--2010-06 麻省理工學院 學士學位

工作經歷

2017-08~2018-07,慕尼黑工業大學, 博士後

2014-09~2017-06,麻省理工學院, 博士後

科研成果

發表論文

（1） Learning One-Clock Timed Automata, Tools and Algorithms for the Construction and Analysis of Systems, 2020, 第 3 作者

（2） Design of Point-and-Click User Interfaces for Proof Assistants, Formal Methods and Software Engineering, 2019, 通訊作者

（3） Smooth manifolds and types to sets for linear algebra in Isabelle/HOL, International Conference on Certified Programs and Proofs, 2019, 第 2 作者

（4） Formal verification of quantum algorithms using quantum Hoare logic, International Conference on Computer Aided Verification, 2019, 通訊作者

（5） NIL: Learning Nonlinear Interpolants, International Conference on Automated Deduction, 2019, 通訊作者

（6） Efficient Verification of Imperative Programs Using Auto2, Tools and Algorithms for the Construction and Analysis of Systems, 2018, 第 1 作者

（7） Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle, International Joint Conference on Automated Reasoning, 2018, 第 1 作者

（8） Formalization of the Fundamental Group in Untyped Set Theory Using Auto2, Interactive Theorem Proving, 2017, 第 1 作者

（9） Auto2, A Saturation-Based Heuristic Prover for Higher-Order Logic, Interactive Theorem Proving, 2016, 第 1 作者

科研項目

（ 1 ） ****C類, 主持, 部委級, 2019-01--2020-12