Umair Siddique

National University of Sciences and Technology, Concordia University

Papers

Total Citations

H-Index

About

Umair Siddique is a leading researcher in formal verification and cyber-physical systems, with a particular focus on applying rigorous mathematical methods to emerging technologies. His work bridges the gap between formal methods and complex engineering domains, most notably fractional order systems and integrated photonic systems. Siddique’s seminal paper, “Formal analysis of fractional order systems in HOL” (2011, 14 citations), pioneered the use of higher-order logic theorem proving to verify the stability and behavior of fractional order controllers—a critical advancement for control theory, robotics, and signal processing. He further extended this formal approach to photonics, as seen in “Formal modeling and verification of integrated photonic systems” (2015, 6 citations), addressing the reliability challenges in high-bandwidth, low-power photonic circuits used in telecommunications and avionics. By replacing traditional paper-and-pencil analysis with machine-checked proofs, Siddique has enhanced the safety and correctness of these systems. His contributions are particularly impactful for students and researchers seeking to apply formal verification to cutting-edge, safety-critical technologies, establishing him as a key figure in the formal methods community.