Dr. Osman Hasan

???????????????????????????????
 
http://ohasan.seecs.nust.edu.pk
osman.hasan@seecs.nust.edu.pk
Phone : +92 51 90852137
Fax : +92 51 831 7363
Address : Faculty Block A – 307, NUST SEECS, Sector H-12, Islamabad 44000, Pakistan
 
Flag Counter

Assistant Professor

NUST School of Electrical Engineering and Computer Sciences

Lab Director

System Analysis and Verification (SAVe) Lab

I am the lab director of System Analysis and Verification (SAVe) Lab at NUST SEECS. My main research interests include Formal Verification, Interactive Theorem Proving and Higher-order Logic. 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.

Biography

Research
Teaching