Dr. Mahfooz Ul Haque

Dr. Mahfooz Ul Haque

Dr. Mahfooz Ul Haque

Associate Professor

mahfooz.haque@ucp.edu.pk

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.

PhD Computer Science University of Nottingham, UK 2016
MBA Management Information System Virtual University of Pakistan 2010
MSc. IT Information Technology University of the Punjab 2008
BBIT Business and Information Technology Curtin University, Australia 2006
Associate Professor University of Lahore, Pakistan Jan 2022 – Aug 2022
Assistant Professor University of Lahore, Pakistan Jan 2017 – Jan 2022
Lab Instructor University of Nottingham, Malaysia Campus Jan 2022 – May 2015
Lecturer Qassim University, Saudi Arabia Apr 2009 – Aug 2012
1Makia Nazir, Hafiz Mahfooz Ul Haque and Kiran Saleem. A Semantic Knowledge based Context-aware Formalism for Smart Border Surveillance System. In Journal of Mobile Networks and Applications, 2022
2Shahid Yousaf, Hafiz Mahfooz ul Haque, Abbas Khalid, Muhammad Adnan Hashmi and Eraj Khan. Modelling and Verification of Context-aware Intelligent Assistive Formalism. In the journal: Computers, Materials & Continua, 2021.
3Hafiz Mahfooz Ul Haque, Salwa Muhammad Akhtar, and Ijaz Uddin. Contextual Defeasible Reasoning Framework for Heterogeneous knowledge Sources. In the journal: Concurrency and Computation: Practice and Experience, e6446, In Wiley Online Library (2021).
4Haidar Zulfiqar, Hafiz Mahfooz Ul Haque, Faiza Tariq, and Rashad Mahmood Khan. A survey on smart parking systems in urban cities. In the journal: Concurrency and Computation: Practice and Experience, e6511, In Wiley Online Library (2021).
5Hafiz Mahfooz Ul Haque, Kiran Saleem and Ahmad Salman Khnan. Modelling BDI Reasoning Agents for Situation-aware Formalisms. In the journal: Concurrency and Computation: Practice and Experience, e6417, In Wiley Online Library (2021).
6Salwa Muhammad Akhtar and Hafiz Mahfooz Ul Haque. Contextual Defeasible Reasoning Framework for Heterogeneous System. International Conference on Context-aware Systems and Applications, Springer Cham, 2020 (Springer Book Chapter).
7Kiran Saleem and Hafiz Mahfooz Ul Haque. Modelling Situation- aware Formalism using BDI Reasoning Agents. International Conference on Context-aware Systems and Applications, Springer Cham, 2020 (Springer Book Chapter).
8Salwa Muhammad Akhtar, Makia Nazir, Kiran Saleem, Hafiz Mahfooz Ul Haque, and Ibrar Hussain. An Ontology-driven IoT based Healthcare Formalism. International Journal of Advanced Computer Science and Applications 11 (02), (2020).
9Hafiz Mahfooz Ul Haque, Haider Zulfiqar, Abrar Ahmed, and Yasir Ali. A context‐aware framework for modelling and verification of smart parking systems in urban cities. In the journal: Concurrency and Computation: Practice and Experience, e5401, In Wiley Online Library (2019).
10 Hafiz Mahfooz Ul Haque, Sajid Ullah Khan and Ibrar Hussain. Semantic Knowledge Transformation for Context-aware Heterogeneous Formalisms. International Journal of Advanced Computer Science and Applications 10 (12), (2019).
11Ijaz Uddin, Abdur Rakib, Hafiz Mahfooz Ul Haque, and Phan Cong Vinh. "Modeling and reasoning about preference-based context-aware agents over heterogeneous knowledge sources." Mobile Networks and Applications, (2018).
12Hafiz Mahfooz Ul Haque, Haidar Zulfiqar, Sajid Ullah Khan, and Muneeb Ul Haque. "Context-Aware Parking Systems in Urban Areas: A Survey and Early Experiments." In Context-Aware Systems and Applications, and Nature of Computation and Communication, pp. 25-35. Springer, Cham. (Springer Book Chapter), 2018
13 Hafiz Mahfooz Ul Haque and Sajid Ullah Khan. A Context-aware Reasoning Framework for Heterogeneous System In: International Conference on Advancements in Computational Sciences (ICACS’18), IEEE Xplore Digital Library, IEEE 2018.
14Ijaz Uddin, Abdur Rakib and Hafiz Mahfooz Ul Haque. A Framework for Implementing Formally Verified Resource-bounded Smart Space Systems. In Journal of Mobile Networks and Applications, 2017
15Hafiz Mahfooz Ul Haque, Abdur Rakib and Ijaz Uddin. Modelling and Reasoning about Context-Aware Agents over Heterogeneous Knowledge Sources In: 5th EAI International Conference on Context-Aware Systems and Applications (ICCASA'16), Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (LNICST)@Springer. (Springer Book Chapter), 2017
16Ijaz Uddin, Hafiz Mahfooz Ul Haque, Abdur Rakib, and Mohamad Rafi Segi Rahmat: Resource-bounded context-aware applications: A survey and early experiment. In 2nd International Conference on Nature of Computation and Communication (ICTCC'16), LNICST@Springer-Verlag. (Springer Book Chapter), 2016
17Abdur Rakib and Hafiz Mahfooz Ul Haque, 2015: Modelling and verifying context-aware non-monotonic reasoning agents. In 13th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'15). The University of Texas at Austin, September 21-23, 2015.
18Abdur Rakib and Hafiz Mahfooz Ul Haque. A Logical Framework for the Representation and Verification of Context-aware Agents Springer Journal of Mobile Networks and Applications. Volume 19(5), 2014.
19 Abdur Rakib and Hafiz Mahfooz Ul Haque. A logic for context- aware non-monotonic reasoning agents. In: A. GELBUKH ET AL., ed., Human- Inspired Computing and Its Applications LNCS Volume 8856. Springer International Publishing Switzerland. 453-471. (Springer Book Chapter), 2014
20Abdur Rakib, Hafiz Mahfooz Ul Haque and Rokan Uddin Faruqui. A temporal description logic for resource-bounded rule-based context-aware agents. In: P.C. VINH ET AL. (EDS.), ed., Context-Aware Systems and Applications LNICST Volume 128. Springer International Publishing Switzerland. 3-14. (Springer Book Chapter), 2013

Girls Hostel Merit List Apply Online
X