学术信息网 西电导航 关于 使用说明 搜索 系统首页 登录 控制面板 收藏 田聪的留言板

田聪 (Cong Tian)

 

 

教授,博士生导师

西安电子科技大学计算机学院,西安,中国

西安电子科技大学北校区

电子邮箱: ctian at mail.xidian.edu.cn or tico_tools@163.com

 


简历

西安电子科技大学计算机学院教授,博士生导师。分别于2004年,2007年和2009年在西安电子科技大学获学士、硕士和博士学位。于2010年10月1日至2011年3月31日在日本Hosei大学访问。2013年获国家自然科学基金优秀青年基金和教育部新世纪优秀人才计划资助。2014年获陕西省青年科技新星称号。


研究兴趣 

 

  • 软件安全:程序漏洞分析, 恶意代码检测

  • 基于大数据和机器学习的智能软件开发方法

  • 嵌入式软件
  • 可信软件的基础理论与方法

 


发表的论文 

 

 


教学 

 

  • 形式语言与自动机(硕士研究生,2011春)
  • Java 程序设计(本科三年级,2011秋)
  • 编译原理(本科三年级,2012春,2013春,2014春,2015春)
  • 验证技术(博士研究生,2012春)
  • 程序语义与形式化验证(硕士、博士研究生,2015春)

 


科研项目 

 

  • 国家自然科学基金优秀青年基金:形式化验证(NSFC 61322202,2014.01-2016.12
  • 国家自然科学基金面上项目:基于共享变量的多核并发程序模型检测(NSFC 61272117,2013.01-2016.12)
  • 国家自然科学基金青年基金项目:基于APTL的开放系统模型检测(NSFC 61003078,2011.01-2013.12)
  • 国家自然科学基金重点国际合作项目(合作方:英国牛津大学和美国UTD):基于语义的恶意程序主动防御与检测机理研究(NSFC 61420106004,2015.01-2019.12)
  • 国家自然科学基金可信软件重大专项重点项目:C/Verilog程序的MSVL验证理论与方法(NSFC 91418201,2015.01-2016.12)
  • 国家自然科学基金重点项目:开放软件系统的基础理论与关键技术(NSFC 61133001, 2012.01-2016.12 )
  • 国家重点基础研究发展计划973子课题:信息服务的需求获取与建模
  • 国家自然科学基金重大国际合作项目(英、法、日),构造可信、高效软件系统的基础研究
  • 国家自然科学基金可信软件重大专项培育项目:基于FPGA的高可信嵌入式系统的基础研究
     

奖励及资助

 

  • 国家自然科学基金优秀青年基金资助(2013)
  • 教育部自然科学一等奖
  • 教育部新世纪优秀人才资助(2013)
  • 陕西省青年科技新星(2014)
  • 陕西省中青年科技领军人才(2014)
  • 西安电子科技大学第二届优秀青年教师资助计划
  • 陕西省科学技术一等奖
  • 西安电子科技大学优秀博士论文
  • 西安电子科技大学优秀博士论文资助计划

 


招生说明

 

  • 每年招生硕士研究生7名,博士研究生1-2名。欢迎大家保送或者报考。
  • 每年招收1-2名优秀本科在读生(2年级以上)进入课题组,欢迎优秀学子加盟。
版权声明:未经西安电子科技大学以及个人主页教师本人许可不得复制,转载传播本主页内容或用于任何商业用途,如需转载请征得主页所有者同意,并附上主页链接.
西安电子科技大学个人主页 站点地图 | | 田聪的留言板 | 更新日期 :2016-09-30 | |
Copyright © 2011-2016 西安电子科技大学 版权所有 陕ICP备021284(05016169) Powered by 信息化建设处 & 电院网络中心