ohasan.seecs.nust.edu.pk
Osman HasanSchool of Electrical Engineering and Computer Science. National University of Sciences and Technology. Sector H-12, Islamabad 44000,. I am director of the System Analysis and Verification (SAVe) Lab. At NUST SEECS. My main research interests include Formal Verification. Prior to joining NUST SEECS, I did my PhD and post-doctoral fellowship from the Hardware Verification Group. Under the supervision of Dr. Sofiene Tahar. My PhD thesis was. Formal Probabilistic Analysis using Theorem.
http://ohasan.seecs.nust.edu.pk/