Dr. Aamer Nadeem
Head of Center for Software Dependability Research Group
Tel: +92 51 111 555 666 Ext 178
Dr. Aamer Nadeem is Head of the Department of Software Engineering department at Capital University of Science and Technology (C.U.S.T.). 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 29 years of teaching, research and industry experience in computer science and software engineering. He has supervised 36 Masters research theses in the areas of software testing, fault tolerance and formal methods. He has authored or co-authored over 85 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 also a member of the HEC’s curriculum revision committee for computer science and software engineering. He is a professional member of the Association for Computing Machinery (ACM).
Model and specification based software testing, regression testing, formal methods, software fault tolerance, software reliability, safety-critical systems.
Details of Research at CSD
Formal methods have not been widely used in the industry, because of the mathematical skills required to write and understand the specifications and the formal proofs for complex systems. Despite this, the recent years have seen a growing interest in the use of formal methods, because of their potential to improve the software quality. The existence of a formal specification provides an opportunity to automate much of the test generation process. The focus of my research in CSD is on developing techniques to automatically generate test suites from a formal specification, for testing of object-oriented software.
Languages and automata, computability and computational complexity