Osman Hasan

Tenured Professor

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

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


Osman Hasan received the B.Eng. (Hons.) degree from the University of Engineering and Technology Peshawar, Pakistan, in 1997, and the M.Eng. and Ph.D. degrees from Concordia University, Montreal, Canada, in 2001 and 2008, respectively. He served as an ASIC design Engineer from 2001 to 2003 at LSI Logic Corporation in Ottawa, Canada and as a Research Associate at Concordia University, Montreal, Canada, for 18 months after his doctoral degree.  He joined the NUST School of Electrical Engineering and Computer Science (SEECS)  as an Assistant Professor in September 2009. He was promoted to the Tenured Associate Professor and Tenured Professor ranks in May 2015 and August 2019, respectively. He served as the Head of Department of Research for three years between 2015 and 2018,  the Senior Head of Department of Electrical Engineering for two years between 2018 and 2020 and the Principal and Dean for one year between 2020 and 2021  at NUST SEECS. Currently, he is the Pro Rector (Academics) at NUST.

He is the founder and director of the System Analysis and Verification (SAVe) Lab at SEECS and his research interests include Embedded System design, Formal Methods and e-health. Since joining NUST, he has been able to acquire over 100 million Rs. of research grants from various national and international agencies and has  published over 250 research articles, including 1 manuscript, 1 patent, 14 book chapters and over 60 impact factor journal papers.

He received the Quaid-e-Azam Award, Ministry of Education, Pakistan (1998), the Best University Teacher Award 2010 from HEC, Pakistan, Ideal ICT Excellence Award 2012 from Ideal Distributions, Pakistan, the Excellence in IT Education Award 2013 from Teradata Pakistan, the Best Young Research Scholar Award from HEC, Pakistan (2011),  Excellence in IT Research and Development Award 2014 from Teradata Pakistan, the President’s Gold Medal for the Best Teacher of the University (2015) from NUST, the best University Researcher Award (2015 and 2019) and the Research Productivity Award (2016) from the Pakistan Council for Science and Technology.  He is a  Senior member of IEEE, member of ACM, member of Association for Automated Reasoning (AAR) and member of the Pakistan Engineering Council.