Umair Siddique
Scholar

Umair Siddique

Google Scholar ID: UFR8mzYAAAAJ
Apple
Formal MethodsSafety AssuranceAutonomous SystemsRuntime Verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
173
 
H-index
7
 
i10-index
3
 
Publications
20
 
Co-authors
10
list available
Contact
TwitterOpen ↗GitHubOpen ↗LinkedInOpen ↗
Publications
4 items
Lessons from External Review of DeepMind's Scheming Inability Safety Case
2026
Cited
0
The Competence Shadow: Theory and Bounds of AI Assistance in Safety Engineering
2026
Cited
0
A Digital Twin Framework for Metamorphic Testing of Autonomous Driving Systems Using Generative Model
2025
Cited
0
AI-Augmented Metamorphic Testing for Comprehensive Validation of Autonomous Vehicles
2025
Cited
0
Resume
Education
  • Ph.D. in Formal Methods
Background
  • Research Interests: Safety, Robotics, AI; Specialization: Formal Methods
Miscellany
  • Inspiration: The only way to do great work is to love what you do — Steve Jobs
Co-authors
7 total
Sofiene Tahar
Sofiene Tahar
Concordia University
Osman Hasan
Osman Hasan
Professor of Electrical Engineering, National University of Sciences and Technology
Sidi Mohamed Beillahi
Sidi Mohamed Beillahi
University of Toronto
Borzoo Bonakdarpour
Borzoo Bonakdarpour
Associate Professor of Computer Science, Michigan State University
Usman Rauf
Usman Rauf
Head of CRiSP Lab., Mercy University
Khaza Anuarul Hoque
Khaza Anuarul Hoque
Associate Professor, Electrical Engineering and Computer Science (EECS), University of Missouri
Taylor T Johnson
Taylor T Johnson
Associate Professor, Computer Science, Vanderbilt University