个人简介

李勇坚男硕导中国科学院软件研究所 招生信息 对以下方向感兴趣的高年级本科生，欢迎联系我（包括实习、硕士研究生保送推荐与考试）。 1、程序的形式化分析与验证（例如硬件程序、软件程序、算法的正确性）， 2、机器学习与形式化分析的结合（比如关联分析、决策树、深度学习等）， 3、网络安全的形式化分析（比如认证协议、匿名协议、第三方认证协议等）， 4、定理证明的自动化（如证明的自动生成，归纳证明，归纳不变式的自动构造等）。 招生专业 081202-计算机软件与理论 085211-计算机技术 招生方向 网络与并发实时系统的设计与分析 带参协议验证 机器学习 教育背景 1998-03--2001-07上海交通大学博士 1995-09--1998-03上海大学硕士 1991-09--1995-07山东大学威海分校学士 学历 上海交通大学--20010814研究生毕业 科研项目 （1）基于归纳不变式的带参协议验证,主持,国家级,2017-01--2019-12 （2）一阶符号轨迹计算的模型检测,主持,国家级,2012-01--2015-12 （3）基于符号轨迹计值的形式化语义以及模型检测算法的研究,主持,国家级,2007-01--2009-12 （4）行车许可限速与RBC切换技术形式化验证,主持,院级,2015-01--2015-12 指导学生 已指导学生 于宝新0219581 哈晓琳0219261 曹燊0219261 段凯强0219261 现指导学生 曹嘉伦0219261 学生毕业去向 曾奶举--（先转博，后去)招商银行总行 于宝新--中国农业银行软件开发部 哈晓琳--小米公司 曹燊--小米公司 段凯强--微软工程院