M. Saqib Nawaz

National University of Singapore, Peking University

Papers

Total Citations

H-Index

About

M. Saqib Nawaz is a researcher at the intersection of formal methods, artificial intelligence, and STEM education. His work is distinguished by a dual focus: applying rigorous formal verification to bio-inspired algorithms and pioneering innovative pedagogies for computational thinking. Nawaz’s foundational contribution, "A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVS" (2018, 6 citations), provides a critical semantic framework for modeling, reasoning, and verifying genetic algorithms used in safety-critical systems like robotics and AI. This formal approach ensures reliability in domains where failure is not an option. Simultaneously, his highly cited work "Developing Computational Thinking in STEM Education with Drones" (2023, 13 citations) addresses a pressing educational challenge. By integrating drones into STEM curricula, Nawaz demonstrates a practical, engaging method for empowering students with problem-solving skills and interdisciplinary knowledge to tackle real-world problems. This paper reflects his commitment to translating complex computational concepts into accessible learning experiences. Nawaz’s research thus bridges the gap between high-assurance system design and the next generation of STEM innovators, making him a notable voice in both formal verification and modern educational technology.