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) by combining the techniques from engineering, formal methods and mathematics. I am currently working on the following topics:

  • Formal Verification: Theorem Proving in Higher-Order Logic, Model Checking
  • Runtime Verification Algorithms for Functional-Safety and Cybersecurity.
  • Application of Formal Methods in the Context of ISO 26262.
  • Efficient Software and Hardware-in-the-loop (SIL,HIL) Testing for CPS.

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