Dr. Mahfooz has received his PhD in Computer Science from the University of Nottingham. Prior joining UCP, he has worked as Associate Professor in the Department of Software Engineering, University of Lahore. He has the experience of teaching and research in Pakistan, Saudi Arabia, and Malaysia. Most of his teaching experience is in mobile & pervasive computing, software verification & validation, formal methods in software engineering, mobile application development, etc. He has authored various research papers and book chapters in the reputed journals and conferences. His research areas revolve around modelling and reasoning smart spaces using context-aware systems. The focused research keywords are context-aware computing, multi-agent systems, semantic knowledge modelling, and formal verification of resource-bounded context-aware systems. He has been successfully leveraging his expertise in various industrial research and development projects.