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

田聪 (Cong Tian)

 

 

教授,博士生导师

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

西安电子科技大学北校区

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

 


简历

西安电子科技大学计算机学院教授,博士生导师。


研究兴趣 

 

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

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

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

 


发表的论文 

 

 


教学 

 

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

 


科研项目 

 

  • 国家自然科学基金面上项目:基于共享变量的多核并发程序模型检测(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的高可信嵌入式系统的基础研究
     

奖励及资助

 

  • 教育部自然科学一等奖
  • 西安电子科技大学第二届优秀青年教师资助计划
  • 陕西省科学技术一等奖
  • 西安电子科技大学优秀博士论文
  • 西安电子科技大学优秀博士论文资助计划

 


招生说明

 

  • 每年招生硕士研究生7名,博士研究生1-2名。欢迎大家保送或者报考。
  • 每年招收1-2名优秀本科在读生(2年级以上)进入课题组,欢迎优秀学子加盟。