Center for Software Dependability (CSD)

Department: Software Engineering

Dr. Aamer Nadeem

Designation: Head/Supervisor

Research group head Profile

Dr. Aamer Nadeem is Head of Software Engineering program at Capital University of Science and Technology (CUST). He is also Head of the Center for Software Dependability (CSD) – a research group at CUST, working in the areas of software reliability, software fault tolerance, formal methods and safety-critical systems. Dr. Nadeem received his MSc degree in computer science from Quaid-i-Azam University (QAU), MS in software engineering from National University of Sciences and Technology (NUST), and PhD in computer science from Mohammad Ali Jinnah University (MAJU). During his PhD, he worked as a Visiting Scholar at the Chinese University of Hong Kong (CUHK) under a research collaboration. He has over 30 years of teaching, research and industry experience in computer science and software engineering. He has supervised 39 Masters and two PhD research theses in the areas of software testing, fault tolerance and formal methods. He has authored or co-authored over 90 papers in reputable international journals and conferences. He is reviewer or editorial board member of several international peer-reviewed journals and conferences. Dr. Nadeem is an Approved PhD Supervisor for scholars funded by indigenous fellowship schemes of the Higher Education Commission (HEC) of Pakistan. He is a professional member of the Association for Computing Machinery (ACM).

Introduction of the group

Center for Software Dependability (CSD) is a research group at Capital University of Science working in diverse areas within the domain of Software Dependability, with focus on Software Reliability, Formal Methods, Model Driven Architecture, and Software Testing. Under these broad domains, we cover and Technology (CUST), Islamabad, Pakistan founded in June 2003. The group has been formal methods, software testing and quality assurance, model based testing, and software fault tolerance.


S. No Name Email Designation
1 Dr. Aamer Nadeem Head/Supervisor
2 Dr. Javed Anjum Sheikh Supervisor
3 Dr. Muddassir A. Sindhu Supervisor
4 Nadeem Fakhar Member
5 Mr. Qamar-oz-zaman Member
6 Mr. Muhammad Rizwan Member
7 Ms. Nausheen Member
8 Mr. M. Bilal Khan Member
9 Ms. Fakeeha Jafari Member
10 Mr. Muneeb Muzzamil Member
11 Ms. Tehseen Afzal Member
12 Ms. Rimsha Butool Member
13 Mr. Omaid Ghayyur Member
14 Ms. Sundus Ali Member
15 Ms. Asra Ishtiaq Member


Research Areas

  1. Software testing and reliability
  2. Software fault tolerance
  3. Formal methods and safety critical systems
  4. Agent oriented computing