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. He has been able to acquire over Rs. 120 million of research grants from various national and international agencies and has  published over 250 research articles, including 6 manuscripts, 1 patent, 20 book chapters, over 100 impact factor journal papers and over 150 conference proceeding 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. For his continued services in higher education, he was awarded the prestigious national award of Tamgh-e-Imtiaz by the President of Pakistan in 2022.  He is a  Senior member of IEEE, member of ACM, member of Association for Automated Reasoning (AAR) and member of the Pakistan Engineering Council.