Muhammad Usama Sardar

Phone : +92 51 9085 2086
Address : SAVe Lab, PG Block, NUST SEECS, Sector H-12, Islamabad 44000, Pakistan
Flag Counter

Research Assistant

System Analysis and Verification (SAVe) Lab

Mr. Muhammad Usama Sardar is silver medalist in his MS in Electrical Engineering from SEECS, NUST. His master’s thesis titled “Formal Verification of Thermal-Aware Architectures for Multi-core Systems”, spanned over two years of research under the supervision of Dr. Osman Hasan. His main research interests include Formal Verification of safety-critical systems, specifically Distributed Dynamic Thermal Management and Resource Management for many-core systems.



  1. M. U. Sardar, N. Afaq, O. Hasan and K. A. Hoque, “Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA)”, Journal of Automated Reasoning (JAR), Springer, doi:10.1007/s10817-017-9416-6 (21 pages), 2017.

  2. M. Mohsin, M. U. Sardar, O. Hasan and Z. Anwar, “IoTRiskAnalyzer : A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things”, IEEE Access, 5(1):5494-5505, 2017

  3. M. U. Sardar and O. Hasan, “Towards Probabilistic Formal Modeling of Robotic Cell Injection System”, Models for Formal Analysis of Real Systems (MARS-2017), Uppsala, Sweden, pp. 271-282.

  4. M. U. Sardar, O. Hasan, M. Shafique and J. Henkel, “Theorem Proving Based Formal Verification of Distributed Dynamic Thermal Management Schemes”, Journal of Parallel and Distributed Computing (JPDC), Elsevier, vol. 100, pp. 157-171, 2017. | Bibtex|

  5. M. U. Sardar, N. Afaq, K. A. Hoque, T. T. Johnson and O. Hasan, “Probabilistic Formal Verification of the SATS Concept of Operation”, NASA Formal Methods (NFM-2016), LNCS 9690, Springer, Minneapolis, USA, pp. 191-205. | Bibtex|