李勇坚 - 中国科学院大学 - 计算机科学与技术学院

个人简介

招生专业 081202-计算机软件与理论 085211-计算机技术招生方向网络与并发实时系统的设计与分析带参协议验证机器学习教育背景 1998-03--2001-07 上海交通大学博士 1995-09--1998-03 上海大学硕士 1991-09--1995-07 山东大学威海分校学士科研项目（ 1 ）基于归纳不变式的带参协议验证, 主持, 国家级, 2017-01--2019-12 （ 2 ）一阶符号轨迹计算的模型检测, 主持, 国家级, 2012-01--2015-12 （ 3 ）基于符号轨迹计值的形式化语义以及模型检测算法的研究, 主持, 国家级, 2007-01--2009-12 （ 4 ）行车许可限速与RBC切换技术形式化验证, 主持, 院级, 2015-01--2015-12

研究领域

形式化方法、形式验证、机器学习、网络安全

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

（1） A Novel Approach to Parameterized Verification of Cache Coherence Protocols, IEEE 29th International Conference on Computer Design (ICCD),, 2016, 第 1 作者（2） An Automatic Framework for Proving Parameterized Cache Coherence Protocols., The 13th International Symposium on Automated Technology for Verification and Analysis (ATVA), Springer,, 2015, 第 1 作者（3） Formalizing provable anonymity in Isabelle/HOL. , formal aspects of computing, 2015, 第 1 作者（4） Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation, The computer journal, 2014, 第 1 作者（5） An inductive approach to strand space theory, Formal Aspects of Computing, 2013, 第 1 作者（6） Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE, Haifa Verification conference (HVC) 2013. LNCS 7261, Springer., 2012, 第 1 作者（7） Enhanced symbolic simulation of a round-robin arbiter., International conference on computer design, IEEE 29th International Conference on Computer Design, ICCD 2011, Amherst, MA, USA, IEEE Press., 2011, 第 1 作者（8） A Novel Formalization of Symbolic Trajectory Evaluation Semantics in Isabelle/HOL, Theoretical Computer Science, 2011, 第 1 作者（9） Exploring Structural Symmetry Automatically in Symbolic Trajectory Evaluation, Formal methods in system design, 2011, 第 1 作者（10） Extending the Strand Space Method with Timestamps: Part I the Theory, Journal of information security, 2010, 第 1 作者（11） Design of a CIL Connector to SPIN, The International Journal of Software Engineering and Knowledge Engineering, 2008, 第 1 作者（12） Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols, ACM Symposium on Applied Computing (SAC 2007), 2007, 第 1 作者