• Department of Electrical Engineering

Academic Background
Ph.D. Electrical Engineering ( Formal Verification Tools to Ensure the Correctnessof the Low-Level Implementation Software Used inMedical Devices ) COMSATS University Islamabad in progress
MS Electrical Engineering (Optimal Energy Management in Future Smart Grid ) COMSATS University Islamabad 2015
BS Electrical (Computer) Engineering COMSATS University Lahore Campus 2013
Lecturer - Electrical Engineering Department Namal University Mianwali 17-Oct-2022 - continue
Visiting Faculty - HND Computing International Center of Excellence, Islamabad 01-May-2022 - 15-Oct-2022
Research Associate (HEC-USAID Funded Project) COMSATS University Islamabad 15-Nov-2017 - 14-Nov-2020
Journal Publications
Conference Publications
Static Stuttering Abstraction for Object Code Verification 18-Nov-2018 CYBER 2018 : The Third International Conference on Cyber-Technologies and Cyber-Systems
Efficient Energy Management Techniques in Emerging Smart Grid Environment 12-Mar-2018 2018 IEEE 7th International Conference on Power and Energy (PECon)
  • Computer Architecture
  • Digital Logic Design
  • Computer Programming
  • Data Structures and Algorithms
Formal verification methodologies and tools to ensure safety of control software used in infusion pumps An infusion pump is a medical device that delivers fluids, such as nutrients and medications, into a patient’s body in controlled amounts. Infusion pumps are in widespread use in clinical settings such as hospitals, nursing homes, and in the home. This project aims to reduce software-related malfunctions of infusion pumps to decrease morbidity and mortality. Details