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