基本信息
李轶  男  硕导  中国科学院重庆绿色智能技术研究院
电子邮件： liyi@cigit.ac.cn
通信地址： 重庆市渝北区金渝大道85号汉国中心B座10层
邮政编码：

研究领域

软件形式化方法、符号计算、信息安全技术

招生信息

   
招生专业
081203-计算机应用技术
招生方向
软件形式化验证
符号计算
信息安全技术

教育背景

2003-09--2009-07   中国科学院成都计算所   工学博士

工作经历

   
工作简历
2012-02~现在, 中国科学院重庆绿色智能技术研究院, 副研究员
2009-07~2012-02,电子科技大学, 讲师