| 实验室简介 |
| 一、实验室简介 郑 实验室目前主要研究方向为：1） 二、实验条件与技术 郑 三、合作单位 实 ... |
| 发表时间:2016-08-22 |
|
| Publications |
| 2017 coming soon ... |
| 发表时间:2017-01-14 |
|
| Introduction of Computing Theory and ... |
| Institute of Computing Theory and Advance Computational Technology (ICTACT) at Zhengzhou University... |
| 发表时间:2017-03-07 |
|
| 苏锦祥教授 |
| 苏锦祥，教授，曾任北京大学教师，于上世纪80年代参与创建郑州大学计算机科学系，并担任首任系主任，是郑州大学理论计算机科学研究所（本研究室前身）创始人兼首任所长，曾任中国计算机学会形式语言与自动机学... |
| 发表时间:2018-03-12 |
|
| 周清雷教授 |
| 周清雷，研究室名誉主任兼首席学术带头人，博士，教授（二级），博士生导师。现任郑州大学信息工程学院院长，河南省计算机学会理事长、中国计算机学会（CCF）理事、中国计算机学会杰出会员、ACM中国... |
| 发表时间:2018-03-11 |
|
| 赵东明副教授 |
| coming soon ... |
| 发表时间:2018-03-10 |
|
| 王剑副教授 |
| 王剑，博士、副教授、硕士生导师，中国计算机学会会员。郑州大学计算机及其应用专业学士，华中科技大学计算机科学与技术专业硕士，同济大学计算机应用技术专业博士。目前任郑州大学信息工程学院软件工程... |
| 发表时间:2018-03-08 |
|
| 刘洋博士讲师 |
| 刘洋，研究室副主任，博士，讲师，1984年1月出生于河南省新乡市，于1999年15岁考入西安交大少年班，2004年、2010年分别获得西安交大计算机专业学士和博士学位，师从国家级教学名师冯博... |
| 发表时间:2018-03-06 |
|
| 韩英杰讲师 |
| coming soon ... |
| 发表时间:2018-03-04 |
|
| 徐婷讲师 |
| coming soon ... |
| 发表时间:2018-03-02 |
|
| 国家重点研发计划项目 |
| 国家重点研发计划（2016YFB0800100）“网络空间拟态防御技术机制研究”，在研，作为参研单位之一，我们与全国20余家高校、科研院所、企业合作，共同承担此项目的研究工作。... |
| 发表时间:2018-03-17 |
|
| 国家自然科学基金面上项目 |
| 国家自然科学基金面上项目(61572444) “计算树逻辑模型检测的DNA计算方法研究”：在研，我们是依托单位。 ... |
| 发表时间:2018-03-18 |
|
| 国家自然科学基金主任基金 |
| 国家自然科学基金主任基金(61250007) “基于软件特征的软件水印技术研究”，结项，我们是依托单位。 ... |
| 发表时间:2018-03-18 |
|
| 国家自然科学基金面上项目3 |
| 国家自然科学基金面上项目(69473020) “ω-凸语言及其分层”，结项，我们是依托单位，苏锦祥教授是项目主持人。 ... |
| 发表时间:2018-03-18 |
|
| 国家博士后科学基金2 |
| 中国博士后科学基金（2015M572120），项目主持人朱维军，已结项... |
| 发表时间:2018-03-25 |
|
