欢迎访问中国科学院重庆绿色智能技术研究院!

副研究员

李轶
性别:
职称:副研究员
学历:博士
电话:
电子邮箱:liyi@cigit.ac.cn
职务:
简历

    副研究员,1980年2月出生,男,2009 年毕业于中国科学院研究生院(硕博连读),获工学博士学位。主要研究方向为符号计算和程序验证。参与多项国家自然科学基金、国家973项目。目前主持国家自然科学基金和重庆市科技攻关重点项目各一项。

 

所属部门

研究领域

社会任职

获奖及荣誉

代表论著

承担科研项目情况