教育經(jīng)歷
2003年 西安交通大學(xué)信息工程專業(yè)，學(xué)士學(xué)位；
2010年 西安交通大學(xué)系統(tǒng)工程專業(yè)，博士學(xué)位；
2010年至今西安交通大學(xué)自動化系；
2016年-2017年 美國康奈爾大學(xué)訪問教授。
科研項目
在研項目
國家自然科學(xué)基金重點(diǎn)項目“基于符號執(zhí)行的多線程軟件系統(tǒng)測試與驗證研究”子課題. 基于符號執(zhí)行的多線程軟件系統(tǒng)測試與驗證研究.2017-2021
國家自然科學(xué)基金面上項目. 多線程程序約束構(gòu)建、優(yōu)化求解及其智能測試方法研究. (61472318). 2015.1-2018.12
國家重點(diǎn)研發(fā)計劃項目"內(nèi)生安全的主動防御工控系統(tǒng)防護(hù)技術(shù)研究"子課題. ?脆弱性分析與威脅態(tài)勢感知技術(shù). 2017-2019
國家重點(diǎn)研發(fā)計劃項目. 能源互聯(lián)網(wǎng)的規(guī)劃、運(yùn)行與交易基礎(chǔ)理論. 2017-2019
霍英東青年教師基金. 智能電網(wǎng)信息-物理融合系統(tǒng)建模與攻擊檢測方法研究. 2016-2019
西安交通大學(xué)基本科研業(yè)務(wù)費(fèi)學(xué)科綜合交叉面上項目. 基于信息物理融合的智能電網(wǎng)數(shù)據(jù)加密與異常數(shù)據(jù)檢測. 2015.1-2017.12
結(jié)題項目
國家自然科學(xué)基金重點(diǎn)項目. 多維在線跨語言Calling Network建模及其在可信國家電子稅務(wù)軟件中的實證應(yīng)用. (91418205). 2015.1-2016.12
國家自然科學(xué)基金集成項目. 可信網(wǎng)絡(luò)交易軟件系統(tǒng)試驗環(huán)境與示范應(yīng)用(91218301). 2013.1-2016.12
國家自然科學(xué)基金重點(diǎn)項目. 面向國家電子稅務(wù)系統(tǒng)的可信軟件試驗環(huán)境與示范應(yīng)用(91118005). 2012.1-2015.12
國家自然科學(xué)基金. 基于物理-信息關(guān)聯(lián)分析的智能電網(wǎng)安全檢測方法. (61203174).?
2011年度高等學(xué)校博士學(xué)科點(diǎn)專項科研基金. 智能電網(wǎng)中信息-電力網(wǎng)絡(luò)攻擊的檢測方法研究. (20110201120010)
西安交通大學(xué)科研項目（綜合交叉類）. 智能電網(wǎng)中的節(jié)能優(yōu)化與攻擊檢測方法研究. 2011.9-2013.8
西安交通大學(xué)重點(diǎn)實驗室青年學(xué)術(shù)骨干培植項目. 基于軟件缺陷和行為的軟件可信性評測方法研究. 2011.5-2012.4
國家自然科學(xué)基金培育項目. 可信電子稅務(wù)網(wǎng)絡(luò)發(fā)票系統(tǒng)試驗環(huán)境及其實證研究(91018011). 2011.1-2011.12
Cisco URP（大學(xué)科研合作項目）. Abnormal Data Detection and Control Actuation Authentication for Smart Grid. 2011-2012
