[1] Liu. Q, Wu. Z, Wang. Z, and Sutcliffe. G, “Evaluation of Axiom Selection Techniques,” in PAAR 2020: Seventh Workshop on Practical Aspects of Automated Reasoning, Paris, France, Jun. 2020, p. 13.
[2] Kang. H, Wang. Z, Yu. A and Tan. Y. Analysis and Prediction of User Behavior Based on Web Log. Journal of Zhengzhou University, 51(3): 13-20, 2019.
[3] Wang. Z. Analysis and Prediction of User Behavior Based on Web Log. Bachelor thesis directed by Professor Kang Haiyan (Kang H.), Beijing Information Science and
Technology University, 2018.
[4] Wang. Z. Feeling nature by experiencing of the forests. China Green Times, 3rd Ed., Friday, January 17, 2014.
Patents
[1] Kang. H, Wang. Z. Method and system of user behavior description and prediction based on web log[P]. China, CN109783460A. 2019-05-21.
[2] Xie. X, Wang. Z, Zhou. Y. A method for producing edible enzyme with plant Abelmoschus manihot (L .) Medicus[P]. China, CN109757715A. 2019-05-17.
Awards
Outstanding in computer science, mathematics and physics
[1] TestOut Desktop PRO Certification, Candidate ID: U27JD, Certificate ID: CV2T3A. TestOut Corporation, May 2, 2018
[2] 2nd Prize in Internet Plus of Innovative Entrepreneurship Competition of College Student in Beijing Information Science and Technology University (BISTU), 2017
[3] 2nd Prize of Information Security Competition in BISTU, 2016
[4] 2nd Prize of Physics Competition in BISTU, 2016
[5] 2nd Prize of Physics Experiment Competition in BISTU, 2016
[6] Certificate of Attendance National Mathematical Modeling Competition of China. Beijing Municipal Commission of Education, China Society for Industrial and Applied Mathematics, 2016
[7] 2nd Prize of Information Security Competition in BISTU, 2015
Scholarships and excellent student
[1] 2nd Prize of Research and Innovative Scholarship in the year of 2016-2017 in BISTU, 2018
[2] 3rd Prize of Excellent Academic Scholarship in the year of 2016-2017 in BISTU, 2018
[3] 1st Prize of Excellent Academic Scholarship in the year of 2014-2015 in BISTU, 2015
[4] Straight-A student in the academic year of 2014-2015 in BISTU, 2015
Leadership and volunteer
[1] Certificate of Participation for outstanding performance and lasting contributions to Toastmasters International STU Chapter in St. Thomas University. Awarded on November 17, 2017
[2] IAAF World Championships Beijing 2015 Volunteer Certificate. The Organizing Committee of IAAF World Championships Beijing, 2015
Others
[1] Magician member of the international association of Chinese magician
[2] The Winner of the Petite Contest of Nippon Magic Foundation in September 26, 2021
[3] Certificate of participation for the united magicians world 2020
