M. Saqib Nawaz (PhD) received the Ph.D. degree from Peking University, Beijing, China, in 2019, Masters degree in Computer Science from the University of Sargodha, Pakistan in 2014 and Bachelors degree in Computer Systems Engineering from the University of Engineering and Technology, Peshawar, Pakistan in 2011. He worked as a  Postdoctoral Fellow at the Harbin Institute of Technology, Shenzhen, China from October 2019 to January 2022. His research interests include formal methods (theorem provers and model checkers), the use of machine learning and data mining in software engineering and the study/development of in silico methods for genomes analysis. He has published several research papers in peer-reviewed journals and conferences. He is the co-founder of the MLiSE workshop at the ECML PKDD conference.

Selected Publications:

1. M. Saqib Nawaz et al. MalSPM: Metamorphic Malware Behavior

Analysis and Classification using Sequential

Pattern Mining. Computers & Security, 2022

2. M. Saqib Nawaz et al.

An Evolutionary/Heuristic-based Proof Searching Framework for Interactive Theorem Prover. Applied Soft Computing, 2021.

3. M. Saqib Nawaz et al. Proof

Searching and Prediction in HOL4 with Evolutionary/Heuristic and Deep Learning Techniques. Applied Intelligence, 2021.

4. M. Saqib Nawaz et al.  Using Artificial

Intelligence Techniques for COVID-19 Genome Analysis. Applied Intelligence,2021.

5. M. Saqib Nawaz et al.

Investigating Crossover Operators in Genetic Algorithms for High-Utility Itemset Mining. In ACIIDS 2021.

6. M. S. Nawaz et al, P. COVID-19 Genome Analysis using Alignment Free Methods. In IEA AIE 2021.