Dr Nadeem Akhtar
University of the Punjab, Islamia University of Bahawalpur, Université de Bretagne-Sud - Campus de Tohannic
About
I am currently serving as an Associate Professor in the Department of Information Technology, Faculty of Computing and Information Technology (FCIT), University of the Punjab, Lahore. My academic and research interests span various domains of computing and information technology. Prior to this, I held the position of Associate Professor and Chairman in the Department of Software Engineering, Faculty of Computing, The Islamia University of Bahawalpur, where I contributed to academic leadership, curriculum development, and research advancement.
I have more than 23 years of experience in teaching, research, academic coordination, and university education management. I earned my Ph.D. from IRISA, University of South Brittany (UBS), Bretagne, France, defending my thesis titled "Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System" with distinction (Très Honorable Magna Cum Laude) on September 2, 2010.
During my doctoral studies, I served as a Teaching Assistant at the University of Southern Brittany in 2007, 2008, and 2009, where I taught and supervised student projects. I also hold a MS (Master-2) degree specializing in Information System Architecture from the Institut Universitaire Professionnalisé (IUP), University of Southern Brittany, completed in 2006.
I am the recipient of several scholarships, awards, and research grants, including:
- HEC Overseas Scholarship (2006) for Ph.D. studies in France
- French Embassy Scholarship (2004) for Master’s studies in France
- Teaching Assistantship, ENSIBS, University of South Brittany, Vannes, France
- HEC Start-up Research Grant (2012) worth PKR 0.5 million
- ICT Student Research Project Grant (2014)
- HEC-approved Ph.D. Supervisor status
My research interests include Multi-Agent Systems, Formal Modeling and Verification, Deep Learning, Machine Learning, Blockchain, Web3 Technologies, and Data Analytics.
Over the course of my academic career, I have taught undergraduate and post-graduate courses and supervised numerous research projects. To date, six Ph.D. and 110 MS students have successfully completed their theses under my supervision. I have authored 65 research papers in reputed international journals and two in internationally recognized conferences.
Employment
-
University of the Punjab Associate Professor2024 - Present
-
Islamia University of Bahawalpur Chairman & Associate Professor2022 - 2024
-
Islamia University of Bahawalpur Associate Professor2022 - 2022
-
Islamia University of Bahawalpur Assistant Professor2011 - 2022
-
Université de Bretagne-Sud - Campus de Tohannic PhD fellow - Teaching Assistant2006 - 2010
-
University of the Punjab Associate Professor2004 - Present
-
Islamia University of Bahawalpur Lecturer2004 - 2011
Education
Education history is unavailable.
Projects & Funding
Projects & funding information is unavailable.
Publications (70)
- Formal Verification and Deep Learning for Smart Farming: A Robust Framework for Cotton Crop Monitoring Save
- An Explainable Deep Learning Framework for Brain Tumor Detection Using MRI Images Save
- Formal Modeling with Verification of Smart Courtroom Building System (SMCBS) Using UML and TLA+ Specification Save
- IoT-Based Disaster Warning and Response System: A Formal Approach Save
- An Explainable Deep Learning Framework for Automated Classification of Ocular Diseases in a Big Data Environment Save
- Towards robust electronic health record systems: integrating formal verification and process modeling techniques Save
- Explainable AI-driven depression detection from social media using natural language processing and black box machine learning models Save
- Monitoring and predicting cotton leaf diseases using deep learning approaches and mathematical models Save
- Mitigating Cyber Threats: Machine Learning and Explainable AI for Phishing Detection Save
- An Ensemble Formal Approach to Improve Energy Efficiency and Data Aggregation in Smart Agriculture Save