导师姓名 田聪
导师类型 硕士生导师
工作状态 在职
职称 副教授
简历
西安电子科技大学计算机学院副教授，硕士生导师。分别于2004年，2007年和2009年在西安电子科技大学获学士、硕士和博士学位。于2010年10月1日至2011年3月31日在日本Hosei大学访问。
--------------------------------------------------------------------------------
研究兴趣
•可信嵌入式系统理论与技术
•可信网络计算理论与技术
•可信软件的基础理论与方法
--------------------------------------------------------------------------------
发表的论文
•Full list of Publications
•DBLP Publications
--------------------------------------------------------------------------------
教学
•形式语言与自动机(硕士研究生，2011春)
•Java 程序设计(本科三年级，2011秋)
•编译原理（本科三年级，2012春）
•验证技术（博士研究生，2012春）
--------------------------------------------------------------------------------
科研项目
•国家自然科学基金面上项目：基于共享变量的多核并发程序模型检测（NSFC 61272117，2013.01-2016.12），项目负责人
•国家自然科学基金青年基金项目：基于APTL的开放系统模型检测（NSFC 61003078，2011.01-2013.12），项目负责人
•国家自然科学基金重点项目：开放软件系统的基础理论与关键技术，主要成员
•国家重点基础研究发展计划973子课题：信息服务的需求获取与建模，主要成员
•国家自然科学基金重大国际合作项目(英、法、日)，构造可信、高效软件系统的基础研究，主要成员
•国家自然科学基金可信软件重大专项培育项目：基于FPGA的高可信嵌入式系统的基础研究，主要成员
--------------------------------------------------------------------------------
奖励及资助
•西安电子科技大学第二届优秀青年教师资助计划
•陕西省科学技术二等奖1项(排名第二)
•西安电子科技大学优秀博士论文
•西安电子科技大学优秀博士论文资助计划