Qamar Uz Zaman – CS

Mr. Qamar uz Zaman (PhD Scholar M.A.J.U, Islamabad)

LECTURER
PROFILE SUMMARY

Mr. Qamar uz Zaman received his masters degree in Software Engineering from Center for Advanced Studies in Engineering, Islamabad in 2013. He has been associated with academia since 2002. He is a lecturer in the Department of Computer Science at Capital University of Science and Technology, Islamabad. His research interests include Requirements Engineering and Formal Methods.

QUALIFICATION
PhD Scholar Software Engineering Capital University of Science and Technology, Islamabad. Since 2013
MS Software Engineering Center for Advanced Studies in Engineering (CASE), Islamabad. 2013
TEACHING EXPERIENCE
Lecturer Capital University of Science and Technology (CUST), Islamabad Since – 2016
Lecturer University of Central Punjab, Faisalabad Campus 2010 – 2015
Lecturer/Assistant System Analyst COMSATS Institute of Science & Technology, Abbottabad Campus. 2002 – 2006
RESEARCH AREAS / INTERESTS

1. Requirements Engineering
2. Formal Methods.

CONFERENCE PUBLICATIONS
1. Qamar uz Zaman, Muddassar Ahmad Sindhu, Aamer Nademm, “Formalizing a Use Case to a Kripke Structure”, IASTED International Symposium Software Engineering and Applications (SEA 2015), ISSBN/ISSN: 10.2316/P.2015.829-017, 2015

Other Members