Umair Siddique                              
  Contact: muh_sidd [at] encs.concordia.ca |
  Office ☎
+1-514-848-2424 (ext. 7260)

Research Interests

Formal Methods, Theorem Proving, Runtime Verfication, Cyber-Physical Systems, Verification of Photonic Systems

I did my PhD (2012-2015) under the supervison of Prof. Sofiene Tahar in the Hardware Verification Group (HVG) at Concordia University, Montreal, QC. My PhD research was about the "formal verification of optical and photonic systems". Previously, I earned two master degrees in Computational Engineering and Electronics from National University of Sciences and Technology (NUST) and Quaid-i-Azam University (QAU), respectively. Prior to that I did B.Sc. with majors in Mathematics and Physics. My PhD research was funded by The Fonds de recherche du Quebec - Nature et technologies (FRQNT).

I have moved: Please visit my new webpage HERE.

Recent News and Activities