[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 | 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]
- Software testing and reliability
- Software fault tolerance
- Formal methods and safety critical systems
- Agent oriented computing
[/vc_column_text][/vc_column][/vc_row]