教学
•形式语言与自动机(硕士研究生,2011春)
•Java 程序设计(本科三年级,2011秋)
•编译原理(本科三年级,2012春)
•验证技术(博士研究生,2012春)
--------------------------------------------------------------------------------
科研项目
•国家自然科学基金面上项目:基于共享变量的多核并发程序模型检测(NSFC 61272117,2013.01-2016.12),项目负责人
•国家自然科学基金青年基金项目:基于APTL的开放系统模型检测(NSFC 61003078,2011.01-2013.12),项目负责人
•国家自然科学基金重点项目:开放软件系统的基础理论与关键技术,主要成员
•国家重点基础研究发展计划973子课题:信息服务的需求获取与建模,主要成员
•国家自然科学基金重大国际合作项目(英、法、日),构造可信、高效软件系统的基础研究,主要成员
•国家自然科学基金可信软件重大专项培育项目:基于FPGA的高可信嵌入式系统的基础研究,主要成员
--------------------------------------------------------------------------------
奖励及资助
•西安电子科技大学第二届优秀青年教师资助计划
•陕西省科学技术二等奖1项(排名第二)
•西安电子科技大学优秀博士论文
•西安电子科技大学优秀博士论文资助计划
如果发现导师信息存在错误或者偏差,欢迎随时与我们联系,以便进行更新完善。联系方式