Umair Siddique

    Postdoctoral Fellow - Department of Computing and Software

Research Interests

I am working as a postdoc in the Department of Computing and Software at McMaster University, with Prof. Borzoo Bonakdarpour. I completed 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 completed B.Sc. with majors in Mathematics and Physics.

Recent News and Activities

Current PC Member

IEEE SysCon-2017

Previous PC Member

IEEE SysCon-2016
CICM-2015 Doctoral Programme