个人简介
BIO:
M. Saqib Nawaz (PhD) received the Ph.D. degree from Peking University, Beijing, China, in 2019, Masters degree in Computer Sciience 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.
教育经历
工作经历
研究方向
formal methods
其他
Selected Publications:
1. M. Saqib Nawaz et al. MalSPM: Metamorphic Malware Behavior
Analysis and Classification using SequentialPattern 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.
