个人简介

工作简历 1998年毕业于洛阳理工学院工业电气自动化专业，2007年浙江师范大学计算机学院计算机软件与理论专业研究生毕业获硕士学位，2011年武汉大学计算机学院计算机软件与理论专业软件工程方向研究生毕业获博士学位。2011年6月至今在郑州轻工业学院计算机与通信工程学院从事教学科研工作。2013年4月进入北京大学信息科学技术学院博士后工作站从事信息物理系统(CPS)基础理论研究。 科研项目 参与国家“863”项目“面向复杂系统的需求建模方法的研究与实现”。 参加河南省重点科技攻关项目“安全生产应急救援系统研究与开发”。 参与自然科学基金项目“云计算Hadoop框架中高效迭代机制的研究”。 主持河南省教育厅基础研究重点项目“Bigraph反应系统中类型表述理论研究”。 主持SKA科学数据处理试验验证系统研制”之子课题--SKA关键算法在GPU+GPGPU架构上计算和优化的关键技术； 主持Bigraph反应系统中赋类与归纳类型表述及其相互关系研究； 参与肉类加工质量安全全程追溯体系研究与开发及产业化示范； 主持农业大数据中的关键技术研究； 学术及科研成果 发表论文15篇，其中SCI／EI/ISTP收录10篇；主编或参与编写教材2部；通过省级成果鉴定3项；曾获得湖北省科技进步二等奖1项；河南省科技进步三等奖1项。