人物簡介
中國計算機學會理論計算機專業委員會常務會員,全國形式語言與自動機學組副組長,河南省計算機學會秘書長,曾在澳大利亞伍倫貢大學訪問。研究方向包括形式語言與自動機理論、模型檢驗、對等網路等。先後完成國家自然科學基金項目3項,國家863項目1項,河南省自然科學基金項目和省教育廳項目10餘項。獲河南省自然科學優秀論文一等獎1項,二等獎3項。在核心期刊和國際會議發表論文30餘篇,近20篇論文被EI,ISTP等收錄。曾榮獲全國“優秀教師”、“河南省跨世紀學術與技術帶頭人培養對象”、“河南省優秀青年科技專家”、“河南省優秀中青年骨幹教師”、“河南省三八紅旗手”、“河南省教育系統巾幗建功標兵”和“河南省優秀IT青年新銳”稱號。