I am working as a Research Assistant in System Analysis and Verification (SAVe) Lab at NUST School of Electrical Engineering and Computer Science under the supervision of Dr. Osman Hasan . The focus of my research is on Formal Probabilistic Analysis using Model Checking and its application in the area of embedded systems.
Currently, I am pursuing my research as a part of DAAD Deutsch-Pakistanische Forschungskooperationen Project: “Formal Verification of Distributed Thermal and Resource Management Schemes for On-Chip Many-Core Systems”. The aim of this research work is to illustrate the practical effectiveness of probabilistic model checking by applying it to accurately analyze and improve upon some of the recently developed and widely used distributed DTM and DRM algorithms for on-chip many-core systems. As a part of the above-mentioned project, I went for a research internship from September 2014 to January 2015 at Chair for Embedded Systems (CES), Prof. Dr. Joerg Henkel, Karlsruhe Institute of Technology (KIT).