I am an Assistant Professor at the National University of Sciences and Technology (NUST), Pakistan. My research lies at the intersection of Formal Methods, Artificial Intelligence, and Functional Safety, with a focus on the rigorous design, verification, and assurance of safety-critical systems.

I hold a PhD in Formal Methods and was previously a Research Fellow at Concordia University. My work focuses on the formal verification of complex cyber-physical systems, including robotics, autonomous vehicles, and smart grids. A key aspect of my research is the use of Artificial Intelligence to automate and scale the verification process, enabling efficient analysis of complex physical and hybrid systems. I have also developed end-to-end safety assurance strategies for autonomous systems, covering requirements engineering, traceability, and safety analysis.

My research is driven by the application of mathematically rigorous verification techniques to real-world engineering problems, complemented by expertise in reliability engineering and system safety analysis. More broadly, I am interested in applying AI and formal methods in practical, high-impact domains such as healthcare and other safety-critical applications, where correctness, reliability, and trustworthiness are paramount.