| 实验室介绍 |
| 一、研究室简介 郑州大学计算理论与先进计算技术研究室（以下简称研究室）是郑州大学信息工程学院/计算机与人工智能学院重点建设的基层科研机构之一，创建于上世纪80年代初。长期以来，针对若干前沿计算理论... |
| 发表时间:2018-03-17 |
|
| 实验室介绍 |
| 一、研究室简介 郑州大学计算理论与先进计算技术研究室（以下简称研究室）是郑州大学信息工程学院/计算机与人工智能学院重点建设的基层科研机构之一，创建于上世纪80年代初。长期以来，针对若干前沿计算理论... |
| 发表时间:2018-03-17 |
|
| 主要研究工作和研究成果 |
| 主要研究工作和研究成果 （1）形式化方法与模型检测 在多项国家自然科学基金的支持下，完善了ω语言的形式理论，为有穷状态无穷运行的模型检测提供一个理论基础；给出模型检测优化算法，显著降低自动机状态... |
| 发表时间:2018-05-09 |
|
| 朱维军副教授 |
| E-mail: zhuweijun@zzu.edu.cn 朱维军，男，郑州市人，1976年生，研究室主任，博士研究生毕业、工学博士学位、二站博士后出站、郑州大学副教授，北京大学访问学者（一年... |
| 发表时间:2018-03-09 |
|
| 欢迎报名参加我院徐明亮教授（国家优青... |
| 欢迎报名参加我院徐明亮教授（国家优青）领军实施的重大科技抗疫项目 支持徐老师！致敬IT抗疫战士！为你们加油、点赞！ [以下内容转发] 由郑州大学牵头，联合阿里巴巴等优势单位共同实施的河南省... |
| 发表时间:2020-03-04 |
|
| 研究室2018-2020指导本科生参与科研（情... |
| 研究室2018-2020指导本科生参与科研（情况仅部分列出） 学生姓名 年级 研究方向 完成或主要参与完成的研究成果 指导教师 学生毕业后去向 刘艺辰 2016 拟态防御 论文2篇刊登于EI会议... |
| 发表时间:2019-07-12 |
|
| zhu-en |
| Weijun ZHU Weijun Zhu, Ph.D. Associate Professor at Zhengzhou University... |
| 发表时间:2021-10-16 |
|
| 在豫高校工作期间入选的中国计算机学会... |
| 在豫高校工作期间入选的中国计算机学会杰出会员名单 （截至2023年底，共计7人；人员名单来自中国计算机学会（CCF）网站，按照入选时间顺序排列） 姓名 工作单位 职称 校内行政职务（时任） 何年当选... |
| 发表时间:2024-01-01 |
|
| 联系我们 |
| Address：Information Engineering Building, No.100 Kexue Road, Zhengzhou University, City：Zhengzhou... |
| 发表时间:2016-08-22 |
|
| 联系我们 |
| Address：Information Engineering Building, No.100 Kexue Road, Zhengzhou University, City：Zhengzhou... |
| 发表时间:2016-08-22 |
|
| tt22 |
| t2... |
| 发表时间:2024-05-06 |
|
| tt22 |
| t2... |
| 发表时间:2024-05-06 |
|
| t |
| test1... |
| 发表时间:2024-05-06 |
|
| zhu |
| 朱维军 朱维军 副教授、博士（后） E-mail1: zhuweijun@zzu.edu.cn; E-mail2... |
| 发表时间:2020-04-09 |
|
| zhu |
| 朱维军 朱维军 副教授、博士（后） E-mail1: zhuweijun@zzu.edu.cn; E-mail2... |
| 发表时间:2020-04-09 |
|
