E-mail: zhuweijun@zzu.edu.cn
朱维军，男，郑州市人，1976年生，研究室主任，博士研究生毕业、工学博士学位、二站博士后出站、郑州大学副教授，北京大学访问学者（一年）、清华大学访问学者（一年），河南省省级青年骨干教师，中国计算机学会（CCF）杰出会员、CCF形式化方法专委会创始委员与执行委员、CCF YOCSEF郑州第十一届副主席，省内多家高校的客座（兼职）教授。
作为“唯一第一作者”在SCI英文期刊发表论文14篇，作为“唯一第一作者”在CCF推荐A类中文期刊发表论文5篇。于2018-2020指导6名在读本科生参与、从事科学研究，其中有5名同学毕业后进入985高校、双一流学科，或者国家级科研平台继续深造；近期指导的2名16岁大一新生已在国际期刊发表研究论文（学生第一作者）。
在二十年的一线工作中，长期从事形式化方法、机器学习、信息安全、区块链、多媒体、生物计算与生物信息等方向的基础研究。近期特别关注于上述方向若干方法在一些重要领域的应用，及其目标导向应用基础研究。
部分论文(此处列出不得超过5篇)
[1] W Zhu#*, H Wu, M Deng, LTL Model Checking Based on Binary Classification of Machine Learning [J], IEEE access, 2019, 7: 135703-135719. (SCI, JCR Q1区, IEEE期刊)
[2] W Zhu#, X Liu, M Xu*, Predicting the results of RNA molecular specific hybridization using machine learning [J], IEEE/CAA Journal of Automatica Sinica, 2019, 6(6): 1384-1396. (SCI, JCR Q1区，IEEE期刊)
[3] W Zhu#*, M Deng, Q Zhou, An intrusion detection algorithm for wireless networks based on ASDL [J], IEEE/CAA Journal of Automatica Sinica, 2018, 5(1): 92-107. (SCI, JCR Q1区, IEEE期刊)
[4] W Zhu#*, Z Gao, Y Wang, A novel approach for audible acoustic quick response codes [J], SCIENTIFIC REPORTS, 2022, DOI: 10.1038/s41598-022-09858-7. (SCI, JCR Q1区)
[5] 朱维军#*, 周清雷, 张钦宪, 基于DNA计算的线性时序逻辑模型检测方法 [J], 计算机学报, 2016, 39(12): 2578-2597. (CCF推荐A类中文期刊)
部分项目（此处列出不得超过5项）
[1] 国家自然科学基金联合基金项目（U1204608），主持。
[2] 国家自然科学基金面上项目（61572444），博后在站期间与合作导师共同申请，合作导师署名第一（负责项目管理），本人署名第二（负责科研学术）。
[3] 国家自然科学基金面上项目（62276091）,与师兄共同申请, 师兄署名第一（负责项目管理），本人署名第二（负责科研学术）。
[4] 中国博士后科学基金项目（2012M511588），已结项，主持。
[5] 中国博士后科学基金项目（2015M572120），已结项，主持。
授权专利
[1] 第一发明人. 基于二分类机器学习的时序逻辑近似模型检测方法及系统. 国家知识产权局，国家发明专利，专利号（ZL201810487191.7），授权日期：2021年4月
学术奖励
[1] 成果第一完成人，离散时间区间时序逻辑可满足性的判定，河南省人社厅、河南省科协，河南省自然科学学术奖，一等奖, 2011年
[2] 成果第一完成人，Translating linear temporal logic formulas into automata，河南省人社厅、河南省科协，河南省自然科学学术奖，一等奖, 2013年
其他(@undergraduates: position available)
I am actively looking for self-motivated sophomores or college juniors with passion in computer science, who are good at math or some programming languages, and are willing to participate in a useful research. If you are interested, please feel free to drop me an email with your resume. Also, you can click the following URL to get more information on our undergraduates’ studies and researches:
http://www7.zzu.edu.cn/ictact/info/1009/1171.htm
