---

	Weijun Zhu, Ph.D.
	Associate Professor at Zhengzhou University
	E-mail1: zhuweijun@zzu.edu.cn E-mail2: zhuweijun76@163.com

 

---

Please scan the above QR code to get the latest version of this CV

---

[Research Interests]|[Education]|[Experiences]|[Academic Membership]|[Professional Services]|[Selected Publications]|[Grants]|[Awards & Honors]|[Patent]|[Further Information]

---

 

Research Interests

 

• ★ Formal Methods & Model Checking

• ★ Machine Learning Applications

• ★ Information Security

• ★ Bioinformatics & DNA Computing

• ★ Blockchains & Multimedia

---

 

Education

 

• ★ Ph.D., Computer Science, Xi-Dian University 

• ★ Master, Computer Science, Zhengzhou University

---

 

Experiences

 

• ★ One-year visiting scholar, Peking University

• ★ One-year visiting scholar, Tsinghua University
  

• ★ Post-doc, Zhengzhou University

• ★ Post-doc, CNCT CO., LTD

• ★ Associate professor, Zhengzhou University

• ★ Adjunct professor, Henan University of Technology
  

• ★ Adjunct professor, Zhoukou Normal University

 

---

 

Academic Membership

 

• ☆ China Computer Federation (CCF), Distinguished Member

• ☆ CCF Professional Committee of Formal Methods, Executive Committee Member

• ☆ CCF YOCSEF Zhengzhou Chapter, Vice Chair (2015-2016)

• ☆ Henan Computer Society, Member of the Council

---

 

Professional Services

 

• ☆ IET Information security, Reviewer
  

• ☆ IEEE Access, Reviewer
  

• ☆ Chinese Journal of Computers, Reviewer

---

 

Selected Publications

(asterisk means the corresponding author, and each paper has a sole first author)

 

1. W Zhu*, H Wu, M Deng (2019), LTL Model Checking Based on Binary Classification of Machine Learning [J], IEEE access, 2019, 7: 135703-135719. (SCI, JCR Q1, an IEEE journal)

                    

2. W Zhu*, Z Gao, Y Wang (2022), A novel approach for audible acoustic quick response codes [J], SCIENTIFIC REPORTS, 2022, 12, DOI: 10.1038/s41598-022-09858-7. (SCI, JCR Q1)

                    

3. W Zhu, X Liu, M Xu* (2019), 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, an IEEE journal)

     

4. W Zhu*, M Deng, Q Zhou (2018), 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, an IEEE journal)

       

5. M Deng, H Cao, W Zhu* (2019), Benchmark test for the model-checking-based IDS algorithms [J], IEEE access, 2019, 7: 135479-135498. (SCI, JCR Q1, an IEEE journal)
       

6. W Zhu*, Y Han, Q Zhou (2019), Performing CTL model checking via DNA computing [J], Soft Computing, 2019, 23(12): 3945-3963. (SCI, JCR Q2, a CCF ranking journal)
       

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

8. W Zhu, Y Han, H Wu* (2020), 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, a CCF ranking journal)
       

9. W Zhu*, Q Zhou, W Yang (2013), 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)

    

10. W Zhu, M Xu* (2020), 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)
        

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

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

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

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

         

15. W Zhu*, H Wu (2022), CTL Model Checking Based on Binary Classification of Machine Learning [J], INTERNATIONAL ARAB JOURNAL OF INFORMATION TECHNOLOGY, 2022, 19(2): 249-260. (SCI, JCR Q4)

                     

16. W Zhu*, Q Zhou, Y Li (2016), Conduct Linear Temporal Logic Model Checking via DNA Molecules [J], Acta Electronica Sinica (电子学报), 2016, 44(6): 1265-1271. (a CCF-A Chinese journal) (in Chinese)
        

17. W Zhu*, H Zhang, Q Zhou (2010), On the Decidability of Satisfiability of Discrete TITL Formulae [J], Acta Electronica Sinica (电子学报), 2010, 38(5): 1039-1045. (a CCF-A Chinese journal) (in Chinese)
        

18. W Zhu, Q You*, W Yang, Q Zhou (2017), Trajectory Privacy Preserving Based on Statistical Differential Privacy [J], Journal of Computer Research and Development (计算机研究与发展), 2017, 54(12): 2825-2832. (a CCF-A Chinese journal) (in Chinese)
        

19. W Zhu*, Y Guo, B Huang (2019), A Mimic Defense Automaton Model of Dynamic Heterogeneous Redundancy Structures [J], Acta Electronica Sinica (电子学报), 2019, 47(10): 2025-2031. (a CCF-A Chinese journal) (in Chinese)
        

20. W Zhu*, Q Zhou, Q Zhang (2016), A LTL Model Checking Approach Based on DNA Computing [J], Chinese Journal of Computers (计算机学报), 2016, 39(12): 2578-2597. (a CCF-A Chinese journal) (in Chinese)
        

---

 

Grants

 

1. Principle Investigator, NATIONAL NATURAL SCIENCE FOUNDATION OF CHINA, under grant No. U1204608

    

2. Co-PI, NATIONAL NATURAL SCIENCE FOUNDATION OF CHINA, under grant No. 61572444, (my postdoctoral supervisor is PI)

    

3. Co-PI, NATIONAL NATURAL SCIENCE FOUNDATION OF CHINA, under grant No. 62276091

    

4. Principle Investigator, CHINA POSTDOCTORAL SCIENCE FOUNDATION, under grant No. 2012M511588

    

5. Principle Investigator, CHINA POSTDOCTORAL SCIENCE FOUNDATION, under grant No. 2015M572120 

    

6. Research Backbone, NATIONAL KEY R&D PROGRAM OF CHINA, under grant No. 2016YFB0800100

    

7. Research Backbone, NATIONAL SCIENCE AND TECHNOLOGY SUPPORT PROGRAM OF CHINA, under grant No. 2013BAH23F01

 

---

 

Awards & Honors

 

1. W Zhu, H Zhang, et al, The First Prize of the Academic Award for Natural Science in Henan Province, 2011

    

2. W Zhu, Q Zhou, et al, The First Prize of the Academic Award for Natural Science in Henan Province, 2013

    

3. Excellent Youth University Teachers in Henan Province, 2018

---

 

Patent

 

1. W Zhu, Y Fan, et al, Approximate model checking temporal logics based on binary classification in machine learning, China National Intellectual Property Administration, patent number: ZL201810487191.7, 2021 (in Chinese)

---

 

Further Information

 

★ Gender: male

 

★ Date of birth: October, 1976

 

★ I am a strongly self-motivated researcher. I love to devote myself to conceiving new ideas, and doing hands-on researches.

 

 

---

---