Profile Details

Create Project

★★★★★

☆☆☆☆☆

USD 20 /hr

★★★★★

☆☆☆☆☆

Hire Dr. M. Saqib N.

China

USD 20 /hr

Researcher | Expert in Pattern Mining, Bioinformatics

Profile Summary

I am a Researcher with a PhD and more than 10 years of experience in machine learning, pattern mining, computational genomics, and biological sequence analysis. My research focuses on developing interpretable deep learning models and sequential/high-utility pattern mining methods for genome and protein sequence classification, viral evolution analysis, and biomedical data mining. Skilled in Python, Java, and SPIN, I offer expertise in bioinformatics analytics, AI model development, data mining, and scientific writing. Available for research consulting and collaboration.

Subject Matter Expertise

• ☆ Information Technology
• ☆ Knowledge Management
• ☆ Information Systems
• ☆ Data Storage
• ☆ Python
• ☆ Excel
• ☆ Java
• ☆ LaTex
• ☆ Scikit-learn
• ☆ E-Health & Telemedicine

Services

• Writing
• Data & AI
• Product Development

Writing Medical Writing, Technical Writing

Data & AI Predictive Modeling, Statistical Analysis, Algorithm Design-ML

Product Development Formulation

Work Experience

Researcher

Shenzhen University

April 2022 - March 2025

Harbin Institute of Technology Shenzhen

October 2019 - January 2022

Lecturer

University of Lahore

February 2015 - August 2015

Visiting Lecturer

University of Sargodha

September 2013 - February 2015

Education

PhD

Peking University

September 2015 - July 2019

Certifications

• Certification details not provided.

Publications

JOURNAL ARTICLE

Enze Chen, M.Zohaib Nawaz, M.Saqib Nawaz, Philippe Fournier-Viger (2026). HMP: Efficient heuristic algorithms for MDL-based itemset mining . Applied Soft Computing.

M. Saqib Nawaz, Philippe Fournier-Viger, M. Zohaib Nawaz, Yulin He, Unil Yun (2026). HUF4WP: A data-fusion framework leveraging high-utility patterns for renewable energy classification . Information Fusion.

M. Saqib Nawaz, M. Zohaib Nawaz, Philippe Fournier-Viger, Shoaib Nawaz, Jerry Chun-Wei Lin, Vincent S. Tseng (2025). Efficient genome sequence compression via the fusion of MDL-based heuristics . Information Fusion.

M. Saqib Nawaz, M. Zohaib Nawaz, Philippe Fournier‐Viger, Nazha Selmaoui‐Folcher (2025). GRIMP: A Genetic Algorithm for Compression‐Based Descriptive Pattern Mining . Expert Systems.

M. Saqib Nawaz, M. Zohaib Nawaz, Yongshun Gong, Philippe Fournier-Viger, Abdoulaye Baniré Diallo (2025). In silico framework for genome analysis . Future Generation Computer Systems.

M. Saqib Nawaz, Philippe Fournier-Viger, Shoaib Nawaz, Youxi Wu, Wei Song (2025). HieRMVir: Interpretable Viral Classification via Hierarchical Deep Learning . IEEE Journal of Biomedical and Health Informatics.

M. Saqib Nawaz, M. Zohaib Nawaz, Zhang Junyi, Philippe Fournier-Viger, Jun-Feng Qu (2024). Exploiting the sequential nature of genomic data for improved analysis and identification . Computers in Biology and Medicine.

M. Saqib Nawaz, Philippe Fournier-Viger, Shoaib Nawaz, Wensheng Gan, Yulin He (2024). FSP4HSP: Frequent sequential patterns for the improved classification of heat shock proteins, their families, and sub-types . International Journal of Biological Macromolecules.

M. Saqib Nawaz, Philippe Fournier-Viger, Shoaib Nawaz, Haowei Zhu, Unil Yun (2024). SPM4GAC: SPM based approach for genome analysis and classification of macromolecules . International Journal of Biological Macromolecules.

M. Saqib Nawaz, Philippe Fournier-Viger, Memoona Aslam, Wenjin Li, Yulin He, Xinzheng Niu (2023). Using alignment-free and pattern mining methods for SARS-CoV-2 genome analysis . Applied Intelligence.

M. Saqib Nawaz, Philippe Fournier-Viger, Yulin He, Qin Zhang (2023). PSAC-PDB: Analysis and classification of protein structures . Computers in Biology and Medicine.

M. Saqib Nawaz, Philippe Fournier-Viger, Yulin He, Qin Zhang (2023). PSAC-PDB: Analysis and classification of protein structures . Computers in Biology and Medicine.

M. Saqib Nawaz, Memoona Aslam, Philippe Fournier-Viger, Wenjin Li (2023). Comparative Analysis and Classification of SARS-CoV-2 Spike Protein Structures in PDB . COVID.

M. Saqib Nawaz, Memoona Aslam, Philippe Fournier-Viger, Wenjin Li (2023). Comparative Analysis and Classification of SARS-CoV-2 Spike Protein Structures in PDB . COVID.

(2022). Quality of service in IoT protocol as designs and its verification in PVS . Transactions on Emerging Telecommunications Technologies.

Muhammad Saqib Nawaz, Meng Sun, Basit Shahzad, M. Ikram Ullah Lali, Tariq Umer, Shaohua Wan (2022). Quality of service in IoT protocol as designs and its verification in PVS . Transactions on Emerging Telecommunications Technologies.

M. Saqib Nawaz, Philippe Fournier-Viger, M. Zohaib Nawaz, Guoting Chen, Youxi Wu (2022). MalSPM: Metamorphic malware behavior analysis and classification using sequential pattern mining . Computers & Security.

M. Saqib Nawaz, Philippe Fournier-Viger, Unil Yun, Youxi Wu, Wei Song (2022). Mining High Utility Itemsets with Hill Climbing and Simulated Annealing . ACM Transactions on Management Information Systems.

M. Saqib Nawaz, M. Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun (2021). An evolutionary/heuristic-based proof searching framework for interactive theorem prover . Applied Soft Computing.

M. Saqib Nawaz, Saleha Noor, Yi Guo, Syed Hamad Hassan Shah, Philippe Fournier-Viger (2021). Analysis of public reactions to the novel Coronavirus (COVID-19) outbreak on Twitter . Kybernetes.

M. Saqib Nawaz, Philippe Fournier-Viger, Abbas Shojaee, Hamido Fujita (2021). Using artificial intelligence techniques for COVID-19 genome analysis . Applied Intelligence.

M. Saqib Nawaz, M. Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun (2021). Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques . Applied Intelligence.

M. Saqib Nawaz, Saleha Noor, Yi Guo, Syed Hamad Hassan Shah, Atif Saleem Butt (2020). Bibliometric Analysis of Social Media as a Platform for Knowledge Management . International Journal of Knowledge Management.

(2020). Research Synthesis and Thematic Analysis of Twitter Through Bibliometric Analysis . International Journal on Semantic Web and Information Systems.

M. Saqib Nawaz, Saleha Noor, Yi Guo, Syed Hamad Hassan Shah, Atif Saleem Butt (2020). Research Synthesis and Thematic Analysis of Twitter Through Bibliometric Analysis . International Journal on Semantic Web and Information Systems.

(2020). Bibliometric Analysis of Social Media as a Platform for Knowledge Management . International Journal of Knowledge Management.

(2020). Mining Productive Itemsets in Dynamic Databases . IEEE Access.

M. Saqib Nawaz, Xiang Li, Jiaxuan Li, Philippe Fournier-Viger, Jie Yao, Jerry Chun-Wei Lin (2020). Mining Productive Itemsets in Dynamic Databases . IEEE Access.

(2020). Proof Learning in PVS With Utility Pattern Mining . IEEE Access.

M. Saqib Nawaz, Philippe Fournier-Viger, Ji Zhang (2020). Proof Learning in PVS With Utility Pattern Mining . IEEE Access.

M. Saqib Nawaz, Basit Shahzad, Kinza Mehr Awan, Abdullatif M. Abdullatif, M. Ikramullah Lali, Ume Ayesha, Muzafar Khan (2019). Quantification of Productivity of the Brands on Social Media With Respect to Their Responsiveness . IEEE Access.

Shahzad, B., Awan, K.M., Abdullatif, A.M., Ikramullah Lali, M., Saqib Nawaz, M., Ayesha, U., Khan, M.(2019). Quantification of Productivity of the Brands on Social Media with Respect to Their Responsiveness . IEEE Access. 7. p. 9531-9539.

(2019). Refining the Measurement of Topic Similarities Through Bibliographic Coupling and LDA . IEEE Access.

M. Saqib Nawaz, Omer Hanif, Zhu Donghua, Wang Xuefeng (2019). Refining the Measurement of Topic Similarities Through Bibliographic Coupling and LDA . IEEE Access.

Muhammad Saqib and Zafar Iqbal and Muhammad Lali and Raza ul Mustafa(2018). Mobile Application Testing in Pakistan: A Survey . Mehran University Research Journal of Engineering and Technology. 37. (1). p. 14.

Shahzad, B., Lali, I., Nawaz, M.S., Aslam, W., Mustafa, R., Mashkoor, A.(2017). Discovery and classification of user interests on social media . Information Discovery and Delivery. 45. (3). p. 130-138.

Saqib Nawaz, M., Bilal, M., Ikram Ullah Lali, M., Mustafa, R.U., Aslam, W., Jajja, S.(2017). Effectiveness of social media data in healthcare communication . Journal of Medical Imaging and Health Informatics. 7. (6). p. 1365-1371.

Lali, M.I.U., Ul Mustafa, R., Saleem, K., Nawaz, M.S., Zia, T., Shahzad, B.(2017). Finding healthcare issues with search engine queries and social network data . International Journal on Semantic Web and Information Systems. 13. (1). p. 48-62.

Ul Mustafa, R., Nawaz, M.S., Lali, M.I.U., Zia, T., Mehmood, W.(2017). Predicting the Cricket match outcome using crowd opinions on social networks: A comparative study of machine learning methods . Malaysian Journal of Computer Science. 30. (1). p. 63-76.

CONFERENCE PAPER

M. Saqib Nawaz, Philippe Fournier-Viger, Jimmy Ming-Tai Wu (2024). SeqClin: Pattern-Based Analysis and Classification of Clinical Datasets . 2024 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).

M. Saqib Nawaz, M. Zohaib Nawaz, Philippe Fournier-Viger, Vincent S. Tseng (2024). An MDL-Based Genetic Algorithm for Genome Sequence Compression . 2024 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).

M. Saqib Nawaz, Philippe Fournier-Viger, Yulin He (2022). S-PDB: Analysis and Classification of SARS-CoV-2 Spike Protein Structures . 2022 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).

Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger (2022). Metaheuristic Algorithms for Proof Searching in HOL4 . Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering.

(2020). Proof searching in HOL4 with genetic algorithm . Proceedings of the 35th Annual ACM Symposium on Applied Computing.

Saqib Nawaz, M., Sun, M.(2018). A formal design model for genetic algorithms operators and its encoding in PVS . ACM International Conference Proceeding Series. p. 186-190.

Saqib Nawaz, M., Sun, M.(2018). Reo2PVS: Formal specification and verification of component connectors . Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE. 2018-July. p. 391-396.

Nawaz, M.S., Sun, M.(2018). Using PVS for Modeling and Verifying Cloud Services and Their Composition . Proceedings - 2018 6th International Conference on Advanced Cloud and Big Data, CBD 2018. p. 42-47.

Nawaz, M.S., Ali, H., Lali, M.I.U.(2017). Concurrent Algorithms in SPIN Model Checker . Proceedings - 14th International Conference on Frontiers of Information Technology, FIT 2016. p. 193-198.

Nawaz, M.S., Lali, M.I.U., Meng, S.(2017). Formal modeling, analysis and verification of black white bakery algorithm . Proceedings - 9th International Conference on Intelligent Human-Machine Systems and Cybernetics, IHMSC 2017. 2. p. 407-410.

Nawaz, M.S., Lali, M.I., Pasha, M.A.(2013). Formal verification of crossover operator in Genetic Algorithms using Prototype Verification System (PVS) . ICET 2013 - 2013 IEEE 9th International Conference on Emerging Technologies.

BOOK CHAPTER

M. Saqib Nawaz, Philippe Fournier-Viger, Yuechun Li, Yulin He (2022). FastTIRP: Efficient Discovery of Time-Interval Related Patterns .

M. Saqib Nawaz, Philippe Fournier-Viger, Yuechun Li, Yulin He (2022). FastTIRP: Efficient Discovery of Time-Interval Related Patterns . Big Data Analytics.

M. Saqib Nawaz, Philippe Fournier-Viger, Naji Alhusaini, Yulin He, Youxi Wu, Debdatta Bhattacharya (2022). LCIM: Mining Low Cost High Utility Itemsets .

M. Saqib Nawaz, Philippe Fournier-Viger, Naji Alhusaini, Yulin He, Youxi Wu, Debdatta Bhattacharya (2022). LCIM: Mining Low Cost High Utility Itemsets . Lecture Notes in Computer Science.

M. Saqib Nawaz, Philippe Fournier-Viger, Yulin He, Youxi Wu, Farid Nouioua, Unil Yun (2022). MaxFEM: Mining Maximal Frequent Episodes in Complex Event Sequences . Lecture Notes in Computer Science.

M. Saqib Nawaz, Philippe Fournier-Viger, Yulin He, Youxi Wu, Farid Nouioua, Unil Yun (2022). MaxFEM: Mining Maximal Frequent Episodes in Complex Event Sequences .

M. Saqib Nawaz, Saleha Noor, Philippe Fournier-Viger (2022). Reasoning About Order Crossover in Genetic Algorithms . Lecture Notes in Computer Science.

M. Saqib Nawaz, Philippe Fournier-Viger, Xinzheng Niu, Youxi Wu, Jerry Chun-Wei Lin (2021). COVID-19 Genome Analysis Using Alignment-Free Methods . Advances and Trends in Artificial Intelligence. Artificial Intelligence Practices.

M. Saqib Nawaz, Philippe Fournier-Viger, Wei Song, Jerry Chun-Wei Lin, Bernd Noack (2021). Investigating Crossover Operators in Genetic Algorithms for High-Utility Itemset Mining . Intelligent Information and Database Systems.

M. Saqib Nawaz, Philippe Fournier-Viger, Wei Song, Wensheng Gan (2021). Machine Learning for Intelligent Industrial Design . Communications in Computer and Information Science.

M. Saqib Nawaz, Philippe Fournier-Viger, Wei Song, Wensheng Gan (2021). Machine Learning for Intelligent Industrial Design .

M. Saqib Nawaz, Philippe Fournier-Viger, M. Zohaib Nawaz, Guoting Chen, Youxi Wu (2021). Metamorphic Malware Behavior Analysis Using Sequential Pattern Mining .

M. Saqib Nawaz, Philippe Fournier-Viger, M. Zohaib Nawaz, Guoting Chen, Youxi Wu (2021). Metamorphic Malware Behavior Analysis Using Sequential Pattern Mining . Communications in Computer and Information Science.

M. Saqib Nawaz, Meng Sun, Philippe Fournier-Viger (2021). Proof Searching in PVS Theorem Prover Using Simulated Annealing . Lecture Notes in Computer Science.

M. Saqib Nawaz, Meng Sun, Philippe Fournier-Viger (2021). Proof Searching in PVS Theorem Prover Using Simulated Annealing .

(2019). Proof Guidance in PVS with Sequential Pattern Mining . Fundamentals of Software Engineering.

(2019). Using PVS for Modeling and Verification of Probabilistic Connectors . Fundamentals of Software Engineering.

PREPRINT

(2019). A Survey on Theorem Provers in Formal Methods.

BOOK

Hong, W., Nawaz, M.S., Zhang, X., Li, Y., Sun, M.(2018). Using Coq for formal modeling and verification of timed connectors . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10729 LNCS. p. 558-573.

Saqib Nawaz, M., Mustafa, R.U., Lali, M.I.U.(2017). Role of online data from search engine and social media in healthcare informatics . Applying Big Data Analytics in Bioinformatics and Medicine. p. 272-293.