Speakers

Osman Hasan

Place of Birth : Peshawar, Pakistan
Position : Pro-Rector (Academics) and Tenured Professor, National University of Sciences and Technology (NUST)
Field of study : Electrical and Computer Engineering, Teaching Methodologies

Professor Osman Hasan is a distinguished academic leader and researcher with a proven record of excellence in higher education engineering. He holds a PhD in Electrical and Computer Engineering from Concordia University, Canada. His research spans Formal Verification, Hardware Security, Approximate Computing, and e-health, and he has secured over Pk. Rs. 130M in research grants from national and international agencies. Professor Hasan has authored over 270 publications, including 6 books and more than 100 journal papers, with an H-index of 30 and over 3750 citations on Google Scholar. His contributions to internationalization are notable, as he has won two major Erasmus Mundus grants and fostered collaborations with universities across America, Europe, and Asia. With four years of industry experience, including a role at LSI Logic in Canada, he has successfully filed four patents and is commercializing two products. In recognition of his contributions, he was awarded the Tamgh-e-Imtiaz (Medal of Distinction) by the President of Pakistan.

• Ph.D., Electrical and Computer Engineering (2008): Concordia University, Montreal, Canada
• M.Eng., Electrical and Computer Engineering (2001): Concordia University, Montreal, Canada
• B.Sc., Electrical Engineering (1997): University of Engineering and Technology (UET), Peshawar, Pakistan

• Pro-Rector (Academics), NUST (June 2021 – Present)
• Tenured Professor, NUST (August 2019 – Present)
• Senior Head of Department (Electrical Engineering), SEECS, NUST (April 2018 – April 2020)
• Head of the Department of Research, SEECS, NUST (May 2015 – April 2018)
• Assistant Professor, SEECS, NUST (September 2009 – May 2015)
• Postdoctoral Fellow, Concordia University (June 2008 – May 2009)
• ASIC Customer Engineer, LSI Logic Corporation (June 2001 – April 2003)

• Formal Verification
• Hardware Security
• Approximate Computing
• E-health
• Teaching Methodologies