About Me

Email: siddique.umr@gmail.com


I am mainly interested in the the design, development and formal verification of smart cyber-physical systems. Currently, I work in industry where I am involved in functional-safety and cybersecurity assurance of autonomous and electric vehicles. Following are some key areas of my research:
  • combined safety and security specification, reasoning and verification
  • certification of safety-critical systems (ISO 26262, IEC 61508, IEC 62304, ..)
  • failure analysis of machine learning algorithms for self-driving vehicles.

Recent Updates


Program Committee

About Me

I completed my Ph.D. in Electrical and Computer Engineering (ECE) from the Hardware Verification Group (HVG) of Concordia University, Montreal, Quebec, Canada. Prior to that I obtained two Masters (Computational Science & Engineering and Electronics) from National University of Sciences and Technology (NUST) and Quaid-i-Azam University (QAU), respectively. I have a B.Sc. degree with majors in Mathematics and Physics.

*This is my personal website and contents/opinions available on this website are my own and do not reflect those of my current and past employers.

Original design: Adrian Vasile Dalca