Umair Siddique

Umair Siddique

Ph.D. ECE | Formal Methods

Research interests

I am mainly interested in the design, formal verification and safety assurance of smart cyber-physical systems. Following are some key areas of my research:

  • SafetyOps
  • certification of autonomous systems (ISO 26262, ISO/PAS 21448, IEC 61508, …)
  • failure and safety analysis of robotics and machine learning algorithms for self-driving vehicles
  • formal methods assisted testing and runtime verification
  • combined safety and security specification, reasoning and verification



I currently work for the autonomous driving division of the Bosch Research and Technology Center (RTC), Silicon Valley. I have previously worked for Blackberry QNX Software Systems, BorgWarner - Waterloo Technical Center, and Magna Electronics. I also worked as a Natural Sciences and Engineering Research Council (NSERC) postdoctoral fellow at McMaster University.

Web Analytics Made Easy -


Quickly discover relevant content by filtering publications.


Formal verification of platoon control strategies

Rewriting-Based Runtime Verification for Alternation-Free HyperLTL

Combining Refinement and Signal-Temporal Logic for Biological Systems

Formal analysis of power electronic systems

On the Formalization of Gamma Function in HOL

On the Formalization of Signal-Flow-Graphs in HOL

Stability Verification of Optical and Laser Resonators in HOL Light

Towards Formal Reasoning about Molecular Pathways in HOL

Towards Ray Optics Formalization of Optical Imaging Systems

A new approach for the verification of optical systems

Higher-Order Logic Formalization of Geometrical Optics

On the formal analysis of geometrical optics in HOL

Formal analysis of Fractional Order Systems in Higher-order Logic

Formal modeling and analysis of biological regulatory networks using spin

The efficient implementation of S8 AES algorithm

Popular Topics

Autonomous Systems, System Safety, Machine Learning, Formal Verification