Dr. Mahfooz Ul Haque

Dr. Mahfooz Ul Haque

Professor

mahfooz.haque@ucp.edu.pk

Profile Summary

Dr. Mahfooz has received PhD in Computer Science from University of Nottingham in 2017 and currently serving as Professor in the Faculty of Information Technology at University of Central Punjab (UCP). He has 16+ years of teaching and research experience in Pakistan, Saudi Arabia, and Malaysia. Most of his teaching experience is in Applied Machine Learning, Emerging Topics in AI, Big Data Analytics, Mobile and Pervasive Computing, Software Verification and Validation, Formal Methods in Software Engineering, Mobile Application Development, etc. He has authored various research papers and book chapters in well reputed journals and conferences. His research areas revolve around modelling and reasoning smart spaces using context-aware systems and IoT systems. The focused research keywords are Agentic AI, Big Data Analytics, Reinforcement Learning, Context-aware Computing, Multi-context Systems, Ontology, and model checking, and formal verification of resource-bounded context-aware systems. He has been successfully leveraging his expertise in various industrial research and development projects for the last five years.

Qualification

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

Experience

Professor University of Central Punjab, Pakistan Jan 2026 – till date
Associate Professor University of Central Punjab, Pakistan Jul 2022 – Dec 2025
Associate Professor   University of Lahore, Pakistan   Jan 2022 - Jul 2022
Assistant Professor University of Lahore, Pakistan Jan 2017 – Jan 2022
Researcher University of Nottingham, Malaysia Campus Nov 2012 – Dec 2016
Lecturer Qassim University, Saudi Arabia Apr 2009 – Aug 2012

Publications

Journal Publication

  1. Taimoor Hassan, Ibrar Hussain, Hafiz Mahfooz ul Haque, Hamid Turab Mirza, Muhammad Nadeem Ali, Byung-Seo Kim, Changheun Oh. Multi-agent Reinforcement Learning Based Context-aware Heterogeneous Decision Support System. Computers, Materials & Continua (2026).
  2. Hina Javed, Ali Saeed, Hafiz Mahfooz ul Haque, Zulaikha Fatima, José Luis Oropeza Rodríguez, Carlos Guzmán Sánchez-Mejorad. Automated Detection of Breast Cancer using Machine Learning and Deep Learning Models from Tabular Data, Letters in Drug Design & Discovery, 2026.
  3. Hafiz Mahfooz Ul Haque, Abdullah, Faiza Tariq, Shahid Yousaf, José Luis Oropeza Rodríguez. Optimizing Patient Monitoring with Reinforcement Learning Based Context-Aware Healthcare Formalism. Computación y Sistemas 29 (4). 2025.
  4. Abdullah, Hafiz Mahfooz Ul Haque, Zeeshan Saleem, Muneeb Ul Haque, Grigori Sidorov. A Probabilistic Reasoning-based Multi-agent Formalism for Smart Environment. Computación y Sistemas 29 (4). 2025.
  5. Taimoor Hassan, Ibrar Hussain, Hafiz Mahfooz Ul Haque, Hamid Turab Mirza, Muhammad Nadeem Ali and Byung-Seo Kim. Semantic Knowledge based Reinforcement Learning Formalism for Smart Learning Environments. Computers, Materials & Continua, 2025.
  6. Abdullah, Hafiz Mahfooz ul Haque, Nadeem Ahmad, Qurat ul Ain Aini, Ali Saeed. AGRITECH: A Smart System for Sustainable Farming, VAWKUM Transactions on Computer Sciences 13 (1), 290-306, 2025.
  7. ALI SAEED, MUHAMMAD FARRUKH AKHYAR, HAFIZ MAHFOOZ UL HAQUE, AND DUA JAVAID. Advanced Machine Learning Algorithms for Accurate Prediction of Band Gaps in Rare Earth Metal Oxides Nanoparticles. ES Energy & Environment, 2024.
  8. HAFIZ MAHFOOZ UL HAQUE, AND NIDA HAFEEZ. Formal modelling and verification of autonomous reasoning based flight simulation system. Lahore Garrison University Research Journal of Computer Science and Information Technology, 8(1), 2024.
  9. IJAZ UDDIN, ABDUR RAKIB, MUMTAZ ALI, HAFIZ MAHFOOZ UL HAQUE and ALTAF UDDIN. A Semantic-Based Approach to Modelling Smart Indoor Kitchen Garden. In Journal of Mobile Networks and Applications, 2023.
  10. YOUSAF, SHAHID, HAFIZ MAHFOOZ UL HAQUE, MUHAMMAD ATIF, MUHAMMAD ADNAN HASHMI, ABBAS KHALID, and PHAN CONG VINH. “A context-aware multi-agent reasoning based intelligent assistive formalism.” Internet of Things, 2023.
  11. MAKIA 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
  12. SHAHID 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.
  13. HAFIZ 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.
  14. HAIDAR 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.
  15. HAFIZ 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.
  16. SALWA 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.
  17. HAFIZ MAHFOOZ UL HAQUE, HAIDER ZULFIQAR, ABRAR AHMED, & 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.
  18. 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.
  19. IJAZ 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.
  20. IJAZ UDDIN, ABDUR RAKIB, HAFIZ MAHFOOZ UL HAQUE. A Framework for Implementing Formally Verified Resource-bounded Smart Space Systems. In Journal of Mobile Networks and Applications, 2017.
  21. ABDUR 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.

Book Chapter and International Conference Publication

  1. SALWA 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).
  2. KIRAN 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).
  3. HAFIZ 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
  4. 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.
  5. HAFIZ 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
  6. IJAZ 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
  7. ABDUR 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.
  8. 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
  9. ABDUR 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

doktor yorumları

kurye

tesis kiralama

International Programs Merit List Our Newsletter

hamilelik belirtileri

hamilelik testi

gebelik hesaplama

hafta hafta gebelik

genital estetik

menopoz belirtileri

adet hesaplama

dış gebelik belirtileri

pcos nedir