【人物简介】

　　田聪，女，西安电子科技大学计算机学院教授，博士生导师。分别于2004年，2007年和2009年在西安电子科技大学获学士、硕士和博士学位。于2010年10月1日至2011年3月31日在日本Hosei大学访问。

【研究方向】

可信嵌入式系统理论与技术 可信网络计算理论与技术 可信软件的基础理论与方法

【研究成果】

获陕西省科学技术二等奖1项

【科研项目】

　　国家自然科学基金优秀青年基金：形式化验证(NSFC 61322202，2014.01-2016.12)，项目负责人 　　国家自然科学基金面上项目：基于共享变量的多核并发程序模型检测(NSFC 61272117，2013.01-2016.12)，项目负责人 　　国家自然科学基金青年基金项目：基于APTL的开放系统模型检测(NSFC 61003078，2011.01-2013.12)，项目负责人 　　国家自然科学基金重点项目：开放软件系统的基础理论与关键技术，主要成员 　　国家重点基础研究发展计划973子课题：信息服务的需求获取与建模，主要成员 　　国家自然科学基金重大国际合作项目(英、法、日)，构造可信、高效软件系统的基础研究，主要成员 　　国家自然科学基金可信软件重大专项培育项目：基于FPGA的高可信嵌入式系统的基础研究，主要成员

【论文著作】

在期刊和学术会议上发表论文近70篇