Center for Software Dependability (CSD)

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).

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.

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