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


CICM-2017
IEEE SysCon-2017

Previous PC Member


IEEE/IFIP EUC-2016
IEEE ISSE-2016
IEEE SysCon-2016
CICM-2015
CICM-2015 Doctoral Programme