Osman HasanOsman Hasan received the BEng (Hons) degree from the N-W.F.P University of Engineering and Technology, Pakistan in 1997, and the MEng and PhD degrees from Concordia University, Montreal, Quebec, Canada, in 2001 and 2008 respectively. He worked as a pstdoctoral fellow at the Hardware Verification Group (HVG) of Concordia University for one year until August 2009. Currently, he is an Assistant Professor in the School of Electrical Engineering and Computer Science, National University of Science and Technology (NUST), Islamabad, Pakistan. He is the founder and director of System Analysis and Verification (SAVe) Lab at NUST, which main focuses on the design and formal verification of embedded systems. Dr. Hasan is a Senior member of IEEE, member of Association for Automated Reasoning (AAR) and member of the Pakistan Engineering Council. Read More Read Less