About Me
Email: siddique.umr@gmail.com


Main goal of my research is to facilitate the construction of reliable and trusted smart Cyber-Physical Systems (CPS). My current interests and activities include:
■ Improving the functional-safety and cybersecurity of autonomous and electric vehicles
■ Developing tools and algorithms to address industrial challenges using:
   - Formal verification: theorem proving and model checking
   - Runtime monitoring/fault detection for safety and security requirements
   - Efficient software and hardware-in-the-loop (SIL, HIL) testing
   - Software certification and qualification (for ISO 26262 v1/v2 and IEC 61508 v2)

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.

Original design: Adrian Vasile Dalca