一、研究室简介

郑州大学计算理论与先进计算技术研究室（以下简称研究室）是郑州大学信息工程学院重点建设的基层科研机构之一，创建于上世纪80年代初。长期以来，研究室坚持基础理论自由探索与核心技术目标导向的有机结合，瞄准面向未来的若干前沿计算理论与技术开展研究。与此同时，作为省内唯一双一流大学的一家计算机科学研究机构，研究室也积极开展社会服务并致力于产学研交流合作活动，力图为地方科技经济发展贡献自己的知识与力量。

近年来，研究室承担国家级科研项目10余项，已取得的科研成果在国内外高水平学术期刊与会议发表论文200余篇，获省部级奖项10余项。成果或产学研活动多次被新闻媒体网站宣传报道或转载。

研究室主要研究方向包括：

（1）形式语言与自动机理论；

（2）形式化方法与模型检测；

（3）网络安全与信息安全；

（4）拟态计算与拟态防御；

（5）DNA计算与生物信息学；

（6）机器学习与数据挖掘；

（7）计算机网络与物联网；

（8）电子健康与智慧医疗；

…… ……

二、合作关系（排名不分先后）

研究室与国内外多家高校与科研院所的多学科专家教授有着广泛的交流与合作，这些学者来自（包括但不限于）：

1.英国：Brunel University

2. 美国：Indiana University-Purdue University Indianapolis

3.瑞典：Blekinge Institute of Technology

4.信息工程大学

5.北京大学

6.复旦大学

7.西安交通大学

8.西安电子科技大学

9.浙江大学

10.上海交通大学

11.清华大学

12.中国科学院信息工程研究所

13.电子科技大学

14.北京邮电大学

15.省部共建食管癌防治国家重点实验室（筹）

16.粮食信息处理与控制教育部重点实验室

17.信息化电器河南省重点实验室

…………