Nafees Qamar

  • Nafees Qamar

    Biographical Statement

    Nafees Qamar has been mainly working on verification and validation of software systems. He obtained an MS degree (2007) in Software Systems and Engineering with distinction from Muhammad Ali Jinnah University, Islamabad Pakistan, serving as a Research Assistant at the Center for Software Dependability (CSD) at the same time. He afterwards secured his PhD (2008-11) at the University of Grenoble, France, on a fellowship by LIG/INRIA (National Institute for Research in Computer Science and Control) as a member of the VASCO team. He worked there with Prof. Yves Ledru and Prof. Akram Idani. His thesis concerns the area of validation and verification of secure software systems.

    He now holds a Postdoctoral Fellow position at UNU-IIST in the working group of Dr. Zhiming Liu. His current research addresses the challenges of the security and privacy issues arising from the healthcare system by employing innovative software engineering and formal methods concepts.

    Research Interests:

    • Formal Methods
    • Validation and Verification
    • Access Control Mechanisms
    • Model Driven Engineering
    • Aspect-oriented Programming