人物介紹
主講的課程有《作業系統》、《UNIX系統》、《Linux系統》、《計算理論》、《形式語言與自動機》等。主要研究方向:形式語言與自動機理論、模型驗證、信息安全、作業系統。曾完成了三項國家自然科學基金項目及多項省自然科學基金項目和一項省科技攻關項目研究。承擔了政府辦公自動化系統項目、企業MIS系統及電子商務系統等多項橫向項目的開發。目前承擔國家863項目《基於ASP模式的軟體服務支持技術研究》子項目的研究工作。發表自然科學論文50餘篇,其中核心期刊40餘篇,被SCI、EI,ISTP收錄10餘篇。獲河南省自然科學優秀論文二等獎三項,獲河南省青年科技獎,被授予河南省優秀青年科技專家,獲河南省跨世紀學術和帶頭人培養對象,河南省優秀中青年骨幹教師稱號。