西安电子科技大学计算机学院硕导介绍:田聪
导师姓名 田聪
导师类型 硕士生导师
工作状态 在职
职称 副教授
简历
西安电子科技大学计算机学院副教授,硕士生导师。分别于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项(排名第二)
•西安电子科技大学优秀博士论文
•西安电子科技大学优秀博士论文资助计划
【西安电子科技大学计算机学院硕导介绍:田聪】相关文章:
- 2017-01-10【导师介绍】中南大学黄健陵
- 2016-10-26【导师介绍】浙江大学计算机科学与技术专业导师个人简介:王章野
- 2016-10-26【导师介绍】复旦大学生命科学学院霍克克博导个人简介
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:陈熙霖
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:何军
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:许伟
网友关注
- 【导师介绍】南京财经大学食品科学与工程学院导师介绍:刘琴
- 【导师介绍】南京财经大学会计学院导师介绍:宋文阁
- 【导师介绍】南京财经大学工商管理学院导师介绍:丁秀玲
- 【导师介绍】南京财经大学管理科学与工程学院导师介绍:陈亚林
- 【导师介绍】南京财经大学工商管理学院导师介绍:奚国泉
- 【导师介绍】南京财经大学会计学院导师介绍:王开田
- 【导师介绍】南京财经大学食品科学与工程学院导师介绍:唐培安
- 【导师介绍】南京财经大学食品科学与工程学院导师介绍:高瑀珑
精品推荐
- 2021考研管综逻辑300道推理题及答案(21)
- 2020考研管理类联考综合全国硕士研究生考试试题及答案(网友版)
- 2020考研管综逻辑演绎推理类型试题及答案解析(查字典考研网版)
- 2020考研管综逻辑分析推理类型试题及答案解析(查字典考研网版)
- 2020考研管综初等数学算术部分试题解析及往年对比
- 2020考研管综初数条件充分性判断部分试题答案及解析(查字典考研网版)
- 2020考研管理类联考初数问题求解部分试题答案及解析(查字典考研网版)
- 2020考研管综初等数学数据分析部分试题解析及往年对比
- 2020考研管综初等数学平面图形部分试题解析及往年对比
- 2020考研管综初等数学空间几何体部分试题解析及往年对比