人物經歷
1999年博士研究生畢業後分配到中華人民共和國農業部信息中心網路處，任 工程師、高級工程師；
2003-2007年 首都師範大學 信息工程學院 副教授；
2008年 美國明尼蘇達州大學，計算機系 合作教授；
2011年 加拿大CONCORDIA大學，電子工程系，訪問教授；
2008年-至今 首都師範大學 信息工程學院 教授。
研究方向
研究方向：形式化驗證 ，網路協定分析。
研究領域:嵌入式系統形式化驗證與分析，模型檢驗技術，計算機網路。
主要貢獻
在研項目：
北京市教委暨北京市自然科學基金重點項目: 空間串列高速匯流排形式化驗證關鍵技術研究；
北京自然科學基金項目：空間匯流排通信系統形式化驗證方法研究；
國際科技合作研究計畫：系統形式化驗證及性能分析關鍵技術。
科研成果：
2008年入選北京市學術創新團隊; 近年來主持參加國家級、北京市、國際科技合作項目5項，在國內外核心期刊及重要國際會議發表學術論文40餘篇，其中EI檢索25篇，SCI 檢索1篇, 獲得授權國家發明專利兩項，北京市科學技術進步二等獎一項。
獲獎記錄
2011年度"百川杯"優秀研究生導師；
2008年度信工學院 優秀本科生指導教師；
2007年度北京市高校教師多媒體課件大賽三等獎。
