Mr. Qamar uz Zaman (PhD Scholar M.A.J.U, Islamabad)
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.
|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