Osman Hasan Assistant Professor School of Electrical Engineering & Computer Science (SEECS),  National University of Sciences & Technology (NUST), Sector H-12, Islamabad 44000, Pakistan Phone: +92-51-9085-2137 Email: osman DOT hasan AT seecs DOT nust DOT edu DOT pk

My research interests include:

• Embedded System Design 
• Formal Verification  
• Theorem Proving
• Higher-order Logic
• Probabilistic Analysis
  

I am the lab director of System Analysis and Verification (SAVe) Lab at NUST SEECS and my research students mainly focus on the above mentioned directions. Our recent research activities can be found at our publications page.  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. Sofiène Tahar. The topic of  my PhD thesis was Formal Probabilistic Analysis using Theorem Proving.

I usually teach Embedded System Design to undergraduate students in the Fall term and  ASIC Design Methodology to graduate students in the Spring term.