Welcome!

Dr. Aamer Nadeem is Head of the Department of Bioinformatics and Biosciences and a faculty member in the Department of Computer Science 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 30 years of teaching, research and industry experience in computer science and software engineering. He has supervised 39 Masters research theses and one PhD thesis 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).