个人简历 博士生导师,分别于2004年、2007年和2009年在全讯600cc大白菜获学士、硕士和博士学位。2010年10月~2011年3月在日本Hosei大学访问。全讯600cc大白菜优秀博士论文获得者,入选“全讯600cc大白菜第二届优秀青年教师”和“全讯600cc大白菜优秀博士论文”资助计划,2013年入选“国家自然科学基金优秀青年基金”和“教育部新世纪优秀人才”资助计划,2014年获陕西省青年科技新星称号。
主要研究方向 1.可信嵌入式系统理论与技术 2.可信网络计算理论与技术
3.可信软件的基础理论与方法
教学与科研成果 作为负责人,承担了国家自然科学基金优秀青年基金项目、国家自然科学基金面上项目和国家自然科学基金青年基金项目。作为主要成员,参与了国家自然科学基金重点项目、国家重点基础研究发展计划973子课题、国家自然科学基金重大国际合作项目和国家自然科学基金可信软件重大专项培育项目,获陕西省科学技术二等奖1项;在期刊和学术会议上发表论文近70篇;承担了“Java程序设计”、“编译原理”本科生课程和“形式语言与自动机”、“验证技术”研究生课程的教学工作。
校内单位:计算机科学与技术学院 办公地点:北校区主楼Ⅰ区301室
E-mail:c.tian.xdu@gmail.com 或 ctian@mail.xidian.edu.cn
教师主页:https://faculty.xidian.edu.cn/TC1/zh_CN/index.htm