一、研究室简介

郑州大学计算理论与先进计算技术研究室（以下简称研究室）是郑州大学信息工程学院/计算机与人工智能学院重点建设的基层科研机构之一，创建于上世纪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.信息化电器河南省重点实验室

18.The Jackson Laboratory

19.Temple University

…………