1995年畢業(yè)于中國礦業(yè)大學(xué)自動化系計算機及其應(yīng)用專業(yè)，獲工學(xué)學(xué)士學(xué)位；2001年畢業(yè)于太原理工大學(xué)機械電子工程專業(yè)，獲工學(xué)碩士學(xué)位。2006年畢業(yè)于西安電子科技大學(xué)測試計量技術(shù)及儀器專業(yè)，獲工學(xué)博士學(xué)位。2011年8月至2011年10月以公派訪問學(xué)者身份赴日本橫濱國立大學(xué)進行研修。

一直從事高校的計算機專業(yè)基礎(chǔ)、計算機科學(xué)理論及軟件理論的教學(xué)與科研工作。主要研究方向為軟件形式化描述與驗證、軟件測試、軟件體系結(jié)構(gòu)、高級語言翻譯器的技術(shù)等。

發(fā)表論文20余篇，承擔(dān)并參與了10余項國家、省部級和橫向科研項目，出版著作4部。指導(dǎo)過大學(xué)生創(chuàng)新實驗計劃項目、ACM程序設(shè)計大賽、機器人大賽、物聯(lián)網(wǎng)創(chuàng)新大賽等多項賽事并獲獎。

1、軟件工程導(dǎo)論（雙語）、軟件體系結(jié)構(gòu)、軟件形式化方法；

2、面向?qū)ο蟪绦蛟O(shè)計基礎(chǔ)、數(shù)據(jù)庫系統(tǒng)原理；

3、電子商務(wù)、管理信息系統(tǒng)。

1、參與和主持國家基金、省部級基金、校級項目6項；參與和主持開發(fā)橫向項目多項；

2、參編國家級高校教材4部：《軟件工程》，《數(shù)據(jù)庫系統(tǒng)原理與應(yīng)用》,《編譯原理》，《軟件開發(fā)環(huán)境與工具》；

3、在國內(nèi)外計算機類核心以上級別刊物上發(fā)表論文20余篇，其中4篇被EI收錄；

4、2008-2009年指導(dǎo)本科生參加中國自動化學(xué)會主辦的國際、國內(nèi)機器人大賽，獲得多個大獎（包括冠軍、亞軍）。

1、遺留軟件再工程的研究與實現(xiàn)，省科技攻關(guān)項目，主持，在研；

2、基于復(fù)雜句式的網(wǎng)絡(luò)輿情傾向性分析，國家重點實驗室開放課題，主持，在研；

3、視覺聽覺跨模態(tài)相干性協(xié)同學(xué)習(xí)算法研究，國家自然科學(xué)基金，參研，已結(jié)題；

4、支持自演化的可信軟件體系結(jié)構(gòu)研究，教育部博士點基金，參研，已結(jié)題；

5、基于GTEST的ATLAS翻譯器的構(gòu)建，國防預(yù)研基金，技術(shù)負責(zé)人，已結(jié)題；

6、基于車牌和車型的車輛綜合識別方法研究，省自然科學(xué)基金，參研，在研；

7、科技項目配套資金管理系統(tǒng)，橫向項目，主持，已結(jié)題；

8、計量器具管理系統(tǒng)，橫向項目，參研，已結(jié)題；

9、其他橫向項目。