田聪 - 西安电子科技大学 - 计算机科学与技术学院

个人简介

简历西安电子科技大学计算机学院教授，博士生导师。分别于2004年，2007年和2009年在西安电子科技大学获学士、硕士和博士学位。于2010年10月1日至2011年3月31日在日本Hosei大学访问。2013年获国家自然科学基金优秀青年基金和教育部新世纪优秀人才计划资助。2014年获陕西省青年科技新星称号。发表的论文论文列表 DBLP主页链接教学形式语言与自动机（硕士研究生，2011春） Java程序设计（本科三年级，2011秋）编译原理（本科三年级，2012春，2013春，2014春，2015春）验证技术（博士研究生，2012春）程序语义与形式化验证（硕士、博士研究生，2015春）科研项目国家自然科学基金优秀青年基金：形式化验证（NSFC61322202，2014.01-2016.12）国家自然科学基金面上项目：基于共享变量的多核并发程序模型检测（NSFC61272117，2013.01-2016.12）国家自然科学基金青年基金项目：基于APTL的开放系统模型检测（NSFC61003078，2011.01-2013.12）国家自然科学基金重点国际合作项目（合作方：英国牛津大学和美国UTD）：基于语义的恶意程序主动防御与检测机理研究（NSFC61420106004，2015.01-2019.12）国家自然科学基金可信软件重大专项重点项目：C/Verilog程序的MSVL验证理论与方法（NSFC91418201，2015.01-2016.12）国家自然科学基金重点项目：开放软件系统的基础理论与关键技术（NSFC61133001,2012.01-2016.12）国家重点基础研究发展计划973子课题：信息服务的需求获取与建模国家自然科学基金重大国际合作项目(英、法、日)，构造可信、高效软件系统的基础研究国家自然科学基金可信软件重大专项培育项目：基于FPGA的高可信嵌入式系统的基础研究奖励及资助国家自然科学基金优秀青年基金资助（2013）教育部自然科学一等奖教育部新世纪优秀人才资助（2013）陕西省青年科技新星（2014）陕西省中青年科技领军人才（2014）西安电子科技大学第二届优秀青年教师资助计划陕西省科学技术一等奖西安电子科技大学优秀博士论文西安电子科技大学优秀博士论文资助计划招生说明每年招生硕士研究生7名，博士研究生1-2名。欢迎大家保送或者报考。每年招收1-2名优秀本科在读生（2年级以上）进入课题组，欢迎优秀学子加盟。

研究领域

查看导师最新文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

软件安全：程序漏洞分析，恶意代码检测基于大数据和机器学习的智能软件开发方法嵌入式软件可信软件的基础理论与方法