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