I hold a PhD from the National University of Sciences and Technology (NUST) and was a Postdoctoral Research Fellow at Concordia University's Hardware Verification Group from 2023 to 2025. My work centers on the formal verification of complex cyber-physical and biomedical systems, from physical human-robot interaction and micro-grid reliability, to weather-forecasting models and electrical-circuit topologies, using higher-order-logic theorem proving and probabilistic model checking to obtain guarantees that simulation and testing alone cannot provide.
A growing thread of my research turns AI toward the proof process itself. Tools like HOL4PSG and HOL4PRS use large language models to recommend and generate proof steps for the HOL4 theorem prover, and my recent work on ReasonOps proposes a unified operational paradigm for trustworthy, verified LLM reasoning. On the applied side, I built FETMA, a tool that automates functional-block-diagram and event-tree based safety analysis for systems such as smart-grid substations, and I develop end-to-end safety-assurance strategies for autonomous systems - spanning requirements engineering, traceability, and probabilistic risk assessment.