周清雷教授
周清雷，博士，教授，博士生导师。现任郑州大学信息工程现金三公副院长，兼任河南省计算机学会理事长、中国计算机学会理事、ACM中国理事会郑州分会副主席、河南省计算机安全协会副理事长、河南省高校计算机教育研究会副理事长、河南省产业发展研究会智慧城市规划与发展专业委员会主任、河南省软件行业协会常务理事、YOCSEF郑州首届主席。
主讲的课程有《操作系统》、《UNIX系统》、《Linux系统》、《计算理论》、《形式语言与自动机》、《软件开发的形式化方法》等。
研究方向：信息安全、自动机理论及计算复杂性理论、形式化方法及模型检测、软件可靠性、DNA计算方法、操作系统。
科研情况：曾作为主要成员完成了3项国家自然科学基金项目（1992-1994《交替ω－有穷自动机》、1995-1997《ω－凸语言族及其分层》、1999-2001《一类时间自动机及其在有穷状态实时系统中的应用》）；作为主持人完成了多项省自然科学基金项目和省科技攻关项目的研究；作为国家863项目《基于ASP模式的软件服务支持技术研究》子项目负责人，完成了构件库构件及构件组装系统的演示和验证工作。近年来所领导的团队和信息工程大学在软件特征和软件水印研究方面进行了合作，承担了《基于软件特征的软件水印技术研究》国家自然科学基金项目；同时参与了世界首台拟态计算机原理样机的研制工作（国家863重大项目：新概念高效能计算机体系结构研发），主要承担拟态计算机软硬件性能测试与验证工作。先后在学术期刊和学术会议发表论文100余篇。
获奖情况：获河南省自然科学学术奖一等奖2项、二等奖5项；获河南省青年科技奖，被授予河南省优秀青年科技专家；荣获河南省学术技术带头人、河南省优秀中青年骨干教师称号。
