朱维军，2011年毕业于西安电子科技大学计算机科学与技术专业，获工学博士学位。毕业后先后在高校与企业完成两站博士后研究，并连续两年在北京大学、清华大学做访问学者。2018年被河南省教育厅授予省级青年骨干教师荣誉称号。主要学术兼职包括（但不限于）：教育部学位中心"博士、硕士学位论文评议专家"、中国计算机学会（CCF）形式化方法专委会委员、河南省计算机学会理事。主持完成国字头/中字头纵向科研项目3项，作为成果第一完成人获河南省自然科学学术奖一等奖2项，作为第一发明人被授权国家发明专利1项，作为唯一第一作者或唯一通信作者发表SCI英文期刊论文或CCF推荐A类中文期刊论文18篇。先后独立指导、指导或协助指导硕博研究生10人，并指导在读本科生从事科学研究(其中多名学生毕业后进入华中科技大学、北京理工大学、北京航空航天大学……等985高校深造)。本人长期在教学、科研第一线工作，至今坚持亲自动手写程序。欢迎有志青年报考本人研究生。If you are interested, please feel free to email your resume to me at zhuweijun76@163.com.

详细介绍

一、论文

(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) M Deng, H Cao, W Zhu*, Benchmark test for the model-checking-based IDS algorithms [J], IEEE access, 2019, 7: 135479-135498. (SCI, JCR Q1, IEEE期刊)

(5) W Zhu*, Y Han, Q Zhou, Performing CTL model checking via DNA computing [J], Soft Computing, 2019, 23(12): 3945-3963. (SCI, JCR Q2, CCF推荐英文期刊)

(6) W Zhu*, C Feng, H Wu, Model Checking Temporal Logic Formulas Using Sticker Automata [J], BioMed Research International, 2017, DOI: 10.1155/2017/7941845. (SCI, JCR Q2)

(7) W Zhu, Y Han, H Wu*, Predicting the results of molecular specific hybridization using boosted tree algorithm [J], Concurrency and computation: practice and experience, 2020, DOI: 10.1002/cpe.4982. (SCI, JCR Q3, CCF推荐英文期刊)

(8) W Zhu*, Q Zhou, W Yang, A novel algorithm for intrusion detection based on RASL model checking [J], Mathematical Problems in Engineering, 2013, DOI: 10.1155/2013/621203. (SCI, JCR Q3)

(9) W Zhu, M Xu*, A Novel Method for Detecting Disk Filtration Attacks via the Various Machine Learning Algorithms [J], China Communications, 2020, 17(4): 99-108. (SCI, JCR Q3)

(10) W Zhu*, Q Zhou, H Zhang, Translating linear temporal logic formulas into automata [J], China Communications, 2012, 9(6): 100-113. (SCI, JCR Q3)

(11) W Zhu*, Z Wang, H Zhang, Intrusion detection algorithm based on model checking interval temporal logic, China Communications, 2011, 8(3): 66-72. (SCI, JCR Q3)

(12) W Zhu, J Rodrigues*, J Niu, M Xu, Mimic automata: A novel formal model for mimic computing [J], Cognitive Systems Research, 2019, 57: 54-65. (SCI, JCR Q3, SSCI)

(13) W Zhu, J Rodrigues, J Niu, M Xu*, Detecting air-gapped attacks using machine learning [J], Cognitive Systems Research, 2019, 57: 92-100. (SCI, JCR Q3, SSCI)

(14) 朱维军*, 周清雷, 李永亮, 以DNA为载体的线性时序逻辑模型检测[J], 电子学报, 2016, 44(6): 1265-1271. (CCF推荐A类中文期刊)

(15) 朱维军*, 张海宾, 周清雷, 离散时间区间时序逻辑可满足性的判定[J], 电子学报, 2010, 38(5): 1039-1045. (CCF推荐A类中文期刊)

(16) 朱维军, 游庆光*, 杨卫东, 周清雷, 基于统计差分的轨迹隐私保护[J], 计算机研究与发展, 2017, 54(12): 2825-2832. (CCF推荐A类中文期刊)

(17) 朱维军*, 郭渊博, 黄伯虎, 动态异构冗余结构的拟态防御自动机模型 [J], 电子学报, 2019, 47(10): 2025-2031. (CCF推荐A类中文期刊)

(18) 朱维军*, 周清雷, 张钦宪, 基于DNA计算的线性时序逻辑模型检测方法 [J], 计算机学报, 2016, 39(12): 2578-2597. (CCF推荐A类中文期刊)

二、主持或参加科研项目（课题）

(1) 国家自然科学基金联合基金项目（项目号：U1204608），基于实时区间逻辑模型验证的入侵检测---形式理论与关键算法，2013/01-2015/12，28万元，已结项，主持。

(2) 国家自然科学基金面上项目（项目号：61572444），计算树逻辑模型检测的DNA计算方法研究，2016/01-2019/12，82万元，已结项，博后在站期间与合作导师共同申请，合作导师署名第一（负责项目管理），本人署名第二（负责科研学术）。

(3) 国家重点研发计划项目（项目号：2016YFB0800100），网络空间拟态防御技术机制研究，已结项，研究骨干。

(4) 国家科技支撑计划项目（项目号：2013BAH23F01），面向科普产品与服务的交互式增强现实虚拟学习环境关键技术研究，已结项，课题骨干。

(5) 中国博士后科学基金（2012M511588），已结项，主持。

(6) 中国博士后科学基金（2015M572120），已结项，主持。

(7) 河南省新冠病毒防控应急科研攻关专项，复产复工人员流动的疫情风险态势仿真推演与智能精准防控平台建设，项目下属第9研究组负责人。

三、授权专利

(1) 朱维军，樊永文，等. 基于二分类机器学习的时序逻辑近似模型检测方法及系统. 国家知识产权局，国家发明专利，专利号（ZL201810487191.7），授权日期：2021年4月

四、获得学术奖励

(1) 成果完成人(1/3)，离散时间区间时序逻辑可满足性的判定，河南省人社厅、河南省科协，河南省自然科学学术奖，一等奖, 2011年

(2) 成果完成人(1/3)，Translating linear temporal logic formulas into automata，河南省人社厅、河南省科协，河南省自然科学学术奖，一等奖, 2013年