Associate ProfessorSchool of Electrical Engineering & Computer Science (SEECS),
National University of Sciences & Technology (NUST),
Sector H-12, Islamabad 44000,
Osman Hasan received the B.Eng. (Hons.) degree from the N-W.F.P University of Engineering and Technology, 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. Currently, he is serving as an Associate Professor and the Senior Head of Department of Electrical Engineering at NUST SEECS. 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 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, the Best Teacher Award (2012-13) from NUST-SEECS, Best Researcher Award (2014) from NUST-SEECS, 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 and the Research Productivity Award (2016) from the Pakistan Council for Science and Technology. Since joining NUST, has been able to acquire over 100 million Rs. of research grants from various national and international agencies and has published over 200 research articles, including 1 manuscript, 1 patent, 12 book chapters and over 50 impact factor journal papers. He is a Senior member of IEEE, member of ACM, member of Association for Automated Reasoning (AAR) and member of the Pakistan Engineering Council. He was also invited to talk about his research at the First Heidelberg Laureatte Forum in 2013, i.e., one of the most prestigious scientific events in the domains of computer science and mathematics; attended by Abel, Fields and Turing laureates.