研究方向包括形式語言與自動機理論、模型檢驗、對等網(wǎng)絡(luò)等。先后完成國家自然科學(xué)基金項目3項，國家863項目1項，河南省自然科學(xué)基金項目和省教育廳項目10余項。獲河南省自然科學(xué)優(yōu)秀論文一等獎1項，二等獎3項。在核心期刊和國際會議發(fā)表論文30余篇，近20篇論文被EI，ISTP等收錄。曾榮獲全國“優(yōu)秀教師”、“河南省跨世紀(jì)學(xué)術(shù)與技術(shù)帶頭人培養(yǎng)對象”、“河南省優(yōu)秀青年科技專家”、“河南省優(yōu)秀中青年骨干教師”、“河南省三八紅旗手”、“河南省教育系統(tǒng)巾幗建功標(biāo)兵”和“河南省優(yōu)秀IT青年新銳”稱號。