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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

9、其他橫向項(xiàng)目。