唐人阁论坛2025,51品茶楼平台官网,老哥稳论坛官网登录入口,51风楼阁官网登录入口怎么登录

性别：男      最高学位：博士        博导/硕导：硕导

邮箱：liyi@cigit.ac.cn

个人简介：

副研究员，硕士生导师。长期专注于计算机代数推理和程序自动验证交叉领域方面的应用基础性研究。研究工作的重点包括实代数不等式正性判定，程序正确性验证等。曾在加拿大西安大略大学数学系ORCCA实验室，西班牙康普顿斯大学计算机科学系COSTA实验室进行合作研究。主持国家自然科学基金2项、重庆市科技攻关项目1项以及重庆市自然科学基金1项，参与多项国家自然科学基金、中科院西部之光项目。先后在TCS, STTT, Appl. Math. Comput., ICTAC, SETTA, ICFEM, ESTC， ESEC/FSE, 软件学报，系统科学与数学等期刊会议发表论文近30篇.

教育经历：

中国科学院研究生院获工学博士学位

主要研究方向：

程序验证、符号计算、信息安全

招生专业：

计算机应用技术

代表性成果（含文章、专利、科研项目等）：

发表论文近30篇，申请获批专利3项，主持和参与多个国家级、省部级科研项目。