研究方向
论文发表
学术资源
获奖信息
软件工具
团队成员
对外信息
中文
中文
English
李勇坚
副研究员
研究方向
形式化方法、形式验证、机器学习、网络安全
个人信息
个人主页：
http://lcs.ios.ac.cn/~lyj238
