[vc_row full_width=”stretch_row” gap=”20″ css=”.vc_custom_1666609675712{margin-bottom: 0px !important;padding-top: 30px !important;border-radius: 5px !important;}” el_class=”inner-body-content first-row”][vc_column width=”1/2″ css=”.vc_custom_1666609193147{padding-top: 25px !important;background-color: #eeeeee !important;border-radius: 5px !important;}” el_class=”member-col-bg”][vc_row_inner el_class=”member-row”][vc_column_inner width=”1/4″][vc_single_image image=”399025″ img_size=”” css=”.vc_custom_1666609166859{margin-bottom: 0px !important;}”][/vc_column_inner][vc_column_inner width=”3/4″][vc_custom_heading text=”Center for Software Dependability (CSD)” use_theme_fonts=”yes” link=”||target:%20_blank|” css=”.vc_custom_1666608943120{margin-top: 0px !important;}”][vc_column_text css=”.vc_custom_1666609174621{margin-bottom: 0px !important;}”]Department: Software Engineering[/vc_column_text][/vc_column_inner][/vc_row_inner][/vc_column][vc_column width=”1/2″ css=”.vc_custom_1666609143387{padding-top: 25px !important;background-color: #eeeeee !important;border-radius: 5px !important;}” el_class=”member-col-bg”][vc_row_inner el_class=”member-row”][vc_column_inner width=”1/4″][vc_single_image image=”398589″ img_size=”” css=”.vc_custom_1666609160444{margin-bottom: 0px !important;}”][/vc_column_inner][vc_column_inner width=”3/4″][vc_custom_heading text=”Dr. Aamer Nadeem” use_theme_fonts=”yes” link=”||target:%20_blank|” css=”.vc_custom_1666608935474{margin-top: 0px !important;}”][vc_column_text css=”.vc_custom_1666609183494{margin-bottom: 0px !important;}”]Designation: Head/Supervisor[/vc_column_text][/vc_column_inner][/vc_row_inner][/vc_column][/vc_row][vc_row el_class=”inner-body-content”][vc_column][vc_custom_heading text=”Research group head Profile” use_theme_fonts=”yes” css=”.vc_custom_1666608863729{margin-top: 0px !important;}”][vc_column_text]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).[/vc_column_text][vc_custom_heading text=”Introduction of the group ” use_theme_fonts=”yes”][vc_column_text]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.[/vc_column_text][vc_custom_heading text=”Members” use_theme_fonts=”yes”][vc_column_text]

S. No Name Email Designation
1 Dr. Aamer Nadeem a.n@acm.org Head/Supervisor
2 Dr. Javed Anjum Sheikh javed.anjum@cust.edu.pk Supervisor
3 Dr. Muddassir A. Sindhu masindhu@qau.edu.pk Supervisor
4 Nadeem Fakhar nadeemzmail@yahoo.com Member
5 Mr. Qamar-oz-zaman qamarozzaman@gmail.com Member
6 Mr. Muhammad Rizwan rizwanabuahmad@gmail.com Member
7 Ms. Nausheen nausheen.wisal@gmail.com Member
8 Mr. M. Bilal Khan drbilal345@gmail.com Member
9 Ms. Fakeeha Jafari fakeehajafari@gmail.com Member
10 Mr. Muneeb Muzzamil ubaiderazamare@gmail.com Member
11 Ms. Tehseen Afzal tehseen_fjwu@yahoo.com Member
12 Ms. Rimsha Butool rimshabutool@yahoo.com Member
13 Mr. Omaid Ghayyur omaid.ghayyur@yahoo.com Member
14 Ms. Sundus Ali sundusaq@gmail.com Member
15 Ms. Asra Ishtiaq asra.ishtiaq07@gmail.com Member

[/vc_column_text][vc_custom_heading text=”Research Areas” use_theme_fonts=”yes”][vc_column_text]

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

[/vc_column_text][/vc_column][/vc_row]