個人簡歷 博士生導師,分別于2004年、2007年和2009年在西安電子科技大學獲學士、碩士和博士學位。2010年10月~2011年3月在日本Hosei大學訪問。西安電子科技大學優(yōu)秀博士論文獲得者,入選“西安電子科技大學第二屆優(yōu)秀青年教師”和“西安電子科技大學優(yōu)秀博士論文”資助計劃,2013年入選“國家自然科學基金優(yōu)秀青年基金”和“教育部新世紀優(yōu)秀人才”資助計劃,2014年獲陜西省青年科技新星稱號。
主要研究方向 1.可信嵌入式系統(tǒng)理論與技術 2.可信網(wǎng)絡計算理論與技術
3.可信軟件的基礎理論與方法
教學與科研成果 作為負責人,承擔了國家自然科學基金優(yōu)秀青年基金項目、國家自然科學基金面上項目和國家自然科學基金青年基金項目。作為主要成員,參與了國家自然科學基金重點項目、國家重點基礎研究發(fā)展計劃973子課題、國家自然科學基金重大國際合作項目和國家自然科學基金可信軟件重大專項培育項目,獲陜西省科學技術二等獎1項;在期刊和學術會議上發(fā)表論文近70篇;承擔了“Java程序設計”、“編譯原理”本科生課程和“形式語言與自動機”、“驗證技術”研究生課程的教學工作。
校內(nèi)單位:計算機科學與技術學院 辦公地點:北校區(qū)主樓Ⅰ區(qū)301室
E-mail:c.tian.xdu@gmail.com 或 ctian@mail.xidian.edu.cn
教師主頁:https://faculty.xidian.edu.cn/TC1/zh_CN/index.htm