| 实验室介绍 |
| 一、研究室简介 郑州大学计算理论与先进计算技术研究室（以下简称研究室）是郑州大学信息工程学院/计算机与人工智能学院重点建设的基层科研机构之一，创建于上世纪80年代初。长期以来，针对若干前沿计算理论与未来关键计算技术，研究室坚持四个面向，积极参与战略导向的体系化基础研究，积极开展前沿导向的探索性基础研究，积极寻求市场导向的应用型基础研究，力求为参与拓展领域知识边界、参与推动科技经济发展，贡献自己 |
| 发表时间:2018-03-17 |
|
| 主要研究工作和研究成果 |
| 主要研究工作和研究成果 （1）形式化方法与模型检测 在多项国家自然科学基金的支持下，完善了ω语言的形式理论，为有穷状态无穷运行的模型检测提供一个理论基础；给出模型检测优化算法，显著降低自动机状态空间，缓解了模型检测的核心技术瓶颈---状态空间爆炸问题。 （2）DNA计算 在国家自然科学基金的支持下，与国内外多家单位合作，针对图灵奖得主EMERSON教授提出的DNA模型检测问题进行研究，给出 |
| 发表时间:2018-05-09 |
|
| An academic jotting to our beginners ... |
| An academic jotting to our beginners (I) (draft) W Zhu and M Deng ZZU & HAUT November 06, 2021 Welcome to the research lab. Considering that there is a fundamental difference between the study as |
| 发表时间:2021-11-07 |
|
| 实验室介绍 |
| 一、研究室简介 郑州大学计算理论与先进计算技术研究室（以下简称研究室）是郑州大学信息工程学院/计算机与人工智能学院重点建设的基层科研机构之一，创建于上世纪80年代初。长期以来，针对若干前沿计算理论与未来关键计算技术，研究室坚持四个面向，积极参与战略导向的体系化基础研究，积极开展前沿导向的探索性基础研究，积极寻求市场导向的应用型基础研究，力求为参与拓展领域知识边界、参与推动科技经济发展，贡献自己 |
| 发表时间:2018-03-17 |
|
| 主要研究工作和研究成果 |
| 主要研究工作和研究成果 （1）形式化方法与模型检测 在多项国家自然科学基金的支持下，完善了ω语言的形式理论，为有穷状态无穷运行的模型检测提供一个理论基础；给出模型检测优化算法，显著降低自动机状态空间，缓解了模型检测的核心技术瓶颈---状态空间爆炸问题。 （2）DNA计算 在国家自然科学基金的支持下，与国内外多家单位合作，针对图灵奖得主EMERSON教授提出的DNA模型检测问题进行研究，给出 |
| 发表时间:2018-05-09 |
|
| An academic jotting to our beginners ... |
| An academic jotting to our beginners (I) (draft) W Zhu and M Deng ZZU & HAUT November 06, 2021 Welcome to the research lab. Considering that there is a fundamental difference between the study as |
| 发表时间:2021-11-07 |
|
| 实验室介绍 |
| 一、研究室简介 郑州大学计算理论与先进计算技术研究室（以下简称研究室）是郑州大学信息工程学院/计算机与人工智能学院重点建设的基层科研机构之一，创建于上世纪80年代初。长期以来，针对若干前沿计算理论与未来关键计算技术，研究室坚持四个面向，积极参与战略导向的体系化基础研究，积极开展前沿导向的探索性基础研究，积极寻求市场导向的应用型基础研究，力求为参与拓展领域知识边界、参与推动科技经济发展，贡献自己 |
| 发表时间:2018-03-17 |
|
| 主要研究工作和研究成果 |
| 主要研究工作和研究成果 （1）形式化方法与模型检测 在多项国家自然科学基金的支持下，完善了ω语言的形式理论，为有穷状态无穷运行的模型检测提供一个理论基础；给出模型检测优化算法，显著降低自动机状态空间，缓解了模型检测的核心技术瓶颈---状态空间爆炸问题。 （2）DNA计算 在国家自然科学基金的支持下，与国内外多家单位合作，针对图灵奖得主EMERSON教授提出的DNA模型检测问题进行研究，给出 |
| 发表时间:2018-05-09 |
|
| 主要研究工作和研究成果 |
| 主要研究工作和研究成果 （1）形式化方法与模型检测 在多项国家自然科学基金的支持下，完善了ω语言的形式理论，为有穷状态无穷运行的模型检测提供一个理论基础；给出模型检测优化算法，显著降低自动机状态空间，缓解了模型检测的核心技术瓶颈---状态空间爆炸问题。 （2）DNA计算 在国家自然科学基金的支持下，与国内外多家单位合作，针对图灵奖得主EMERSON教授提出的DNA模型检测问题进行研究，给出 |
| 发表时间:2018-05-09 |
|
| An academic jotting to our beginners ... |
| An academic jotting to our beginners (I) (draft) W Zhu and M Deng ZZU & HAUT November 06, 2021 Welcome to the research lab. Considering that there is a fundamental difference between the study as |
| 发表时间:2021-11-07 |
|
| 实验室介绍 |
| 一、研究室简介 郑州大学计算理论与先进计算技术研究室（以下简称研究室）是郑州大学信息工程学院/计算机与人工智能学院重点建设的基层科研机构之一，创建于上世纪80年代初。长期以来，针对若干前沿计算理论与未来关键计算技术，研究室坚持四个面向，积极参与战略导向的体系化基础研究，积极开展前沿导向的探索性基础研究，积极寻求市场导向的应用型基础研究，力求为参与拓展领域知识边界、参与推动科技经济发展，贡献自己 |
| 发表时间:2018-03-17 |
|
| 实验室介绍 |
| 一、研究室简介 郑州大学计算理论与先进计算技术研究室（以下简称研究室）是郑州大学信息工程学院/计算机与人工智能学院重点建设的基层科研机构之一，创建于上世纪80年代初。长期以来，针对若干前沿计算理论与未来关键计算技术，研究室坚持四个面向，积极参与战略导向的体系化基础研究，积极开展前沿导向的探索性基础研究，积极寻求市场导向的应用型基础研究，力求为参与拓展领域知识边界、参与推动科技经济发展，贡献自己 |
| 发表时间:2018-03-17 |
|
| 主要研究工作和研究成果 |
| 主要研究工作和研究成果 （1）形式化方法与模型检测 在多项国家自然科学基金的支持下，完善了ω语言的形式理论，为有穷状态无穷运行的模型检测提供一个理论基础；给出模型检测优化算法，显著降低自动机状态空间，缓解了模型检测的核心技术瓶颈---状态空间爆炸问题。 （2）DNA计算 在国家自然科学基金的支持下，与国内外多家单位合作，针对图灵奖得主EMERSON教授提出的DNA模型检测问题进行研究，给出 |
| 发表时间:2018-05-09 |
|
| An academic jotting to our beginners ... |
| An academic jotting to our beginners (I) (draft) W Zhu and M Deng ZZU & HAUT November 06, 2021 Welcome to the research lab. Considering that there is a fundamental difference between the study as |
| 发表时间:2021-11-07 |
|
| 实验室介绍 |
| 一、研究室简介 郑州大学计算理论与先进计算技术研究室（以下简称研究室）是郑州大学信息工程学院/计算机与人工智能学院重点建设的基层科研机构之一，创建于上世纪80年代初。长期以来，针对若干前沿计算理论与未来关键计算技术，研究室坚持四个面向，积极参与战略导向的体系化基础研究，积极开展前沿导向的探索性基础研究，积极寻求市场导向的应用型基础研究，力求为参与拓展领域知识边界、参与推动科技经济发展，贡献自己 |
| 发表时间:2018-03-17 |
|
