Apply Online

Profile

Mr. Muhammad Zohaib Nawaz has done MS in Computer Science from NUST Islamabad, Pakistan. Before that, he completed BS in Computer Science with distinction (Gold Medal) from University of Sargodha, Pakistan. He is currently enrolled in PhD in Computer Science from Shenzhen University, PRC.

Profile Links

Education

Year Degree Board / University
2020 Computer Science -- (Master/ MS (18 Years) Degree) NUST, Islamabad
2016 Computer Science -- (Bachelor (16 Years) Degree) University of Sargodha, Sargodha
2012 FSc (Pre-Engg) -- (Higher Secondary School Certificate / Intermediate/ A - level) Govt. College, UOS, Sargodha
2008 Matric -- (Secondary School Certificate / Matriculation / O - level) Progressive Public School, Sargodha
Load More

Experience

From To Post Held Organization
2018 Continue Lecturer University of Sargodha
Load More

Research Interests

Formal Methods
Machine Learning
Information Retrieval
Image Processing
Data Mining

Publications

    Research Journal


  • Nawaz, M. S., Fournier-Viger, P., Nawaz, M. Z., Chen, G., & Wu, Y. , 2022 , MalSPM: Metamorphic malware behavior analysis and classification using sequential pattern mining , Computers & Security , 118, 1, IF: 5.6 , Web Link : https://doi.org/10.1016/j.cose.2022.102741
  • Nawaz, M. S., Nawaz, M. Z., Hasan, O., Fournier-Viger, P., & Sun, M , 2021 , An evolutionary/heuristic-based proof searching framework for interactive theorem prover , Applied Soft Computing , 104, 1, IF: 8.7 , Web Link : https://doi.org/10.1016/j.asoc.2021.107200
  • Nawaz, M. S., Nawaz, M. Z., Hasan, O., Fournier-Viger, P., & Sun, M. , 2020 , Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques , Applied Intelligence , 51, 1, IF: 5.3 , Web Link : https://doi.org/10.1007/s10489-020-01837-7
  • Ali, H., Lali, M. I., Nawaz, M. Z., Sharif, M., & Saleem, B. A. , 2017 , Symptom based automated detection of citrus diseases using color histogram and textural descriptors , Computers and Electronics in agriculture , 138, 1, IF: 8.3 , Web Link : https://doi.org/10.1016/j.compag.2017.04.008

    • Conference Proceeding


  • Nawaz, M. Z., Hasan, O., Nawaz, M. S., Fournier-Viger, P., & Sun, M (2020). Proof searching in HOL4 with genetic algorithm.. In 35th Annual ACM Symposium on Applied Computing (pp. 1- 10) . Association for Computing MachineryNew YorkNYUnited States.
  • Nawaz, M. S., Fournier-Viger, P., Nawaz, M. Z., Chen, G., & Wu, Y. (2021). Metamorphic Malware Behavior Analysis Using Sequential Pattern Mining. In Joint European Conference on Machine Learning and Knowledge Discovery in Databases (pp. 90- 103) . Springer, Cham.
Load More
Important Links
Faculty