Qualifications:
- Ph.D. (Computer Science), Ca’ Foscari University of Venice, Italy (UniVe).
- MS. (Software Engineering), COMSATS University Islamabad, Islamabad Campus
Research Interests:
Formal Verification of Distributed Systems, Performance Modelling, Simulation Modelling,
AI Agent and Agentic AI based Software Engineering
Dr. Muhammad Waqas completed his Ph.D. in Computer Science under the supervision of Prof. Andrea Marin and Prof. Leonardo Maccari at Ca’ Foscari University of Venice, Italy (UniVe) in 2025. His doctoral research focused on Formal Verification and Performance Modelling in the Cloud-to-Thing Continuum, with an emphasis on optimizing finite-capacity queueing systems through simulation and preemption strategies.
Previously, he earned his M.S. in Software Engineering from COMSATS University Islamabad, Islamabad Campus, under the supervision of Dr. Saif ur Rehman Malik. He developed a Java-based topology analyzer that reduced OSPF convergence time using social network centrality metrics.
In 2024, Dr. Waqas worked as a visiting scholar with the CPSG research group under Dr. Syed Moshin Raza Jaffri at NUST Balochistan Campus, Pakistan, where he contributed to simulation-driven frameworks for enhancing the efficiency and scalability of hyperscale data centers.
Before joining UniVe, he served as a Lecturer at the University of Lahore, Islamabad Campus (2019–2021), where he taught courses such as Software Engineering, Requirements Engineering, and HCI, and contributed to curriculum development and OBE/NCEAC accreditation processes. Prior to that, he was a Lecturer at IQRA National University, Peshawar (2017–2019), teaching Formal Methods, Software Engineering, and HCI, and served as a member of the Board of Studies.
In January 2026, Dr. Waqas joined the Faculty of Computer Science & Engineering (FCSE) at GIKI as an Assistant Professor. He is eager to contribute to teaching, research, and cross-disciplinary collaboration within the department.
