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
3 items
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 (English only)
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
10 total
Sofiene Tahar
Sofiene Tahar
Concordia University
Osman Hasan
Osman Hasan
Professor of Electrical Engineering, National University of Sciences and Technology
Co-author 3
Co-author 3
Sidi Mohamed Beillahi
Sidi Mohamed Beillahi
University of Toronto
Borzoo Bonakdarpour
Borzoo Bonakdarpour
Associate Professor of Computer Science, Michigan State University
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8