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