Osman HasanView profile
Professor
Professor Dr. Osman Hasan is a faculty member at the School of Electrical Engineering & Computer Science (SEECS) , National University of Sciences & Technology (NUST) , Islamabad, where he currently serves as Pro-Rector (Academics). His research primarily lies in formal methods, hardware verification, reliability analysis, and embedded systems, with applications in smart grids, robotics, and cybersecurity. His research interests include: Formal Methods and Theorem Proving Hardware and Software Verification Reliability and Safety Analysis of Critical Systems Smart Grids and Power Systems Approximate Computing and Energy-Efficient Design Robotics and Biomedical Systems His recent publications show a strong trend toward formal verification of hardware and cyber-physical systems, integration of machine learning with formal methods, and applications in power systems and robotics. He frequently employs higher-order logic theorem proving (e.g., HOL, ACL2) and model checking to ensure correctness and reliability. He has been actively involved in numerous international conferences such as FMCAD, FSEN, CICM, and ICTAC, serving on program committees and organizing workshops. His leadership as Pro-Rector highlights his commitment to enhancing academic quality and research excellence at NUST. He has supervised numerous students who have co-authored papers with him, indicating an active research group. His work bridges theoretical formal methods with practical engineering applications, particularly in safety-critical domains.






