|
Osman Hasan |
|
Assistant Professor |

|
Education Ph.D. Electrical Engineering Concordia University, Montreal, Canada (2008) M.Eng. Electrical Engineering Concordia University, Montreal, Canada (2001) B.Sc. Electrical Engineering N-W.F.P University of Engineering and Technology Peshawar, Pakistan (1997)
Interests Digital and VLSI Design, Computer Architectures, Formal Verification, Theorem Proving, Higher-Order-Logic.
Office Hours Email for Appointment
|
|
School of Electrical Engineering & Computer Science, National University of Sciences & Technology, Sector H-12, Islamabad 44000, Pakistan |
|
Osman Hasan |
|
Phone: +92-51-9085-2137 E-mail: osman.hasan AT seecs DOT edu DOT pk |


|
help |