Osman Hasan

Associate Professor

School of Electrical Engineering & Computer Science (SEECS), 
National University of Sciences & Technology (NUST),
Sector H-12, Islamabad 44000,

Phone: +92-51-9085-2137
Email: osman DOT hasan AT seecs DOT nust DOT edu DOT pk

I am an Associate Professor at the School of Electrical Engineering and Computer Science (SEECS) at NUST. My main research interests include Formal Verification, Interactive Theorem Proving, Higher-order Logic, Model CheckingApproximate Computing and Hardware Security. Prior to joining NUST SEECS, I did my PhD and post-doctoral fellowship from the Hardware Verification Group at Concordia University, Montreal Canada under the supervision of Dr. Sofiene Tahar. The topic of  my PhD thesis was Formal Probabilistic Analysis using Theorem Proving.



Some Recent professional activities