I am currently carrying out my PhD in Department of Electrical Engineering at North Dakota State University, Fargo 58102 ND USA, under the supervision of Dr. Samee Ullah Khan (sameekhan.org). My research is aimed towards Formal Methods (verification, modeling, and analysis) of Large Scale Systems, such as Cloud Computing System.
Besides my PhD, I have completed my Master in Computer Science (MSCS) from COMSATS Institute of Information Technology, Islamabad Pakistan in 2009 and Undergrad from Centre of Information Technology, University of Arid Agriculture, Rawalpindi Pakistan in 2007. I received Fellowship in Masters and I was also a recipient of Vice Chancellor's Student Scholarships during my whole four years of Undergrad.
I worked as a Research Associate in Computer Science Department of COMSATS Institute of IT, Islamabad Pakistan for two years (2009 - 2011) under the kind supervision of Prof. Dr. Maqbool Uddin Shaikh. As an associate I worked on the areas of Decision Support Systems, Data Warehouse and Mining, Web Warehouse and Mining, E-Systems, Knowledge-based Systems, and Information Systems.