Personal information

Computer Science, Software Engineering, Formal Verification, Formal Validation, Data Analytics
Pakistan, France

Biography

Dr. Nadeem Akhtar is working as an Associate Professor at Department of Information Technology, Faculty of Computing and Information Technology (FCIT), The University of the Punjab, Allama Iqbal (Old) Campus, The Mall, Lahore, Pakistan
Before he has been working as a Chairman and Associate Professor Department of Software Engineering, Faculty of Computing, The Islamia University of Bahawalpur (IUB), Pakistan. He has 22 years of experience in teaching, research, and higher education institution management. He is motivated, rigorous, trustworthy, and committed.
He successfully defended his Ph.D. thesis - titled "Contribution to the formal specification and verification of a multi-agent robotic system" - with distinction “Tres Honorable (magna cum laude)" on Thursday 2nd of September 2010 from IRISA, University of South Brittany (UBS), Bretagne, FRANCE. He completed MS (Master-2) with specialization in Information System Architecture from Institut Universitaire Professionnalisé (IUP), University of South Brittany, Bretagne, FRANCE in 2006. He is a recipient of several scholarships, awards, and research grants, including HEC overseas scholarship 2006 for Ph.D. studies in France, French Embassy scholarship for Master and MS studies "Study in France in 2004", the teaching assistant for ENSIBS University of South-Brittany Vannes France, HEC Start-up research grant of 0.5 million in 2012, student research project grant from ICT in 2014, and HEC Approved Ph.D. supervisor. His research areas are Formal verification & validation, Formal modeling, Safety-Critical systems, Multi-agent systems, and Data Analytics. He has been teaching university post-graduate and graduate students and supervising Ph.D. (CS) and MS(CS) research.
Three PhDs and 105 MS students have completed their thesis under the supervision of Dr. Nadeem Akhtar.
He has 58 research articles published in reputed International Journals and two research articles published in International reputed Conferences.

Activities

Employment (6)

University of the Punjab: Lahore, PK

2024-06-20 to present | Associate Professor (Department of Information Technology, Faculty of Computing and Information Technology (FCIT), The University of the Punjab)
Employment
Source: Self-asserted source
Dr Nadeem Akhtar

Islamia University of Bahawalpur: Bahawalpur, Punjab, PK

2022-06-06 to 2024-06-19 | Chairman & Associate Professor (Software Engineering)
Employment
Source: Self-asserted source
Dr Nadeem Akhtar

Islamia University of Bahawalpur: Bahawalpur, Punjab, PK

2022-03-28 to 2022-06-06 | Associate Professor (Information Technology)
Employment
Source: Self-asserted source
Dr Nadeem Akhtar

Islamia University of Bahawalpur: Bahawalpur, Punjab, PK

2011-12-22 to 2022-06-06 | Assistant Professor (Computer Science & IT)
Employment
Source: Self-asserted source
Dr Nadeem Akhtar

Islamia University of Bahawalpur: Bahawalpur, Punjab, PK

2004-05-10 to 2011-12-22 | Lecturer (Computer Science & IT)
Employment
Source: Self-asserted source
Dr Nadeem Akhtar

Université de Bretagne-Sud - Campus de Tohannic: Vannes, Bretagne, FR

2006-04-01 to 2010-09-01 | PhD fellow - Teaching Assistant (Computer Science and IT)
Employment
Source: Self-asserted source
Dr Nadeem Akhtar

Education and qualifications (4)

IRISA, University of South Brittany: Vannes, Bretagne, FR

2006-06-01 to 2010-09-01 | PhD (Computer Science)
Qualification
Source: Self-asserted source
Dr Nadeem Akhtar

Université de Bretagne-Sud - Campus de Tohannic: Vannes, Bretagne, FR

2004-08-01 to 2006-02-01 | Master-2 (MS) (Computer Science)
Qualification
Source: Self-asserted source
Dr Nadeem Akhtar

CAREL - Centre Audiovisuel de Royan pour l’Etude des Langues: ROYAN, Charente-Maritime - Nouvelle-Aquitaine, FR

2004-07-01 to 2004-09-05 | French Language Student (Intensive French Language Diploma)
Qualification
Source: Self-asserted source
Dr Nadeem Akhtar

The Islamia University of Bahawalpur: Bahawalpur, Punjab, PK

1998-09-01 to 2002-12-01 | BS (Computer Science) - 4 Years (Computer Science & IT)
Qualification
Source: Self-asserted source
Dr Nadeem Akhtar

Funding (1)

Design and development of a formal multi-agent information management system

2012-11 to 2013-12 | Grant
Higher Education Commission (Islamabad, PK)
GRANT_NUMBER:

No: PM-IPFP/HRD/HEC/2012/3521

Source: Self-asserted source
Dr Nadeem Akhtar

Works (50 of 59)

Items per page:
Page 1 of 2

Guaranteeing Correctness in Black-Box Machine Learning: A Fusion of Explainable AI and Formal Methods for Healthcare Decision-Making

IEEE Access
2024 | Journal article
Contributors: Nadia Khan; Muhammad Nauman; Ahmad S. Almadhor; Nadeem Akhtar; Abdullah Alghuried; Adi Alhudhaif
Source: check_circle
Crossref

A multimodal fusion framework to diagnose cotton leaf curl virus using machine vision techniques

Cogent Food & Agriculture
2024-12-31 | Journal article
Part of ISSN: 2331-1932
Contributors: Nazir Ahmad; Salman Qadri; Nadeem Akhtar
Source: Self-asserted source
Dr Nadeem Akhtar

Formal Modelling and Model Checking of a Flood Monitoring and Rescue System: A Case Study of Safety-Critical System

VFAST Transactions on Software Engineering
2024-09-08 | Journal article
Contributors: Sidra Sajjad; Nadeem Akhter; Laiqa Sajjad
Source: check_circle
Crossref

Color image restoration by filtering methods: a review

Soft Computing
2024-07 | Journal article
Part of ISSN: 1432-7643
Part of ISSN: 1433-7479
Contributors: Nadeem Salamat; Malik Muhammad Saad Missen; Nadeem Akhtar; Muhammad Mustahsan; V. B. Surya Prasath
Source: Self-asserted source
Dr Nadeem Akhtar

Leveraging Big Data Analytics for Enhanced Clinical Decision-Making in Healthcare

IEEE Access
2023 | Journal article
Contributors: Fatima Hussain; Muhammad Nauman; Abdullah Alghuried; Adi Alhudhaif; Nadeem Akhtar
Source: check_circle
Crossref

Does social media usage boost career prospects of women: an exploratory study in the academia

Kybernetes
2022-02-08 | Journal article | Writing - review & editing
Part of ISSN: 0368-492X
Contributors: Dr Nadeem Akhtar
Source: Self-asserted source
Dr Nadeem Akhtar

Student Performance Prediction in Intelligent E-Learning for Tertiary Education

International Journal of Computational Intelligence in Control
2022-01-20 | Journal article
Source: Self-asserted source
Dr Nadeem Akhtar

Improving the Correctness of Medical Diagnostics Based on Machine Learning With Coloured Petri Nets

IEEE Access
2021-10-21 | Journal article
Part of ISSN: 2169-3536
Source: Self-asserted source
Dr Nadeem Akhtar
grade
Preferred source (of 2)‎

Remote Diagnosis and Triaging Model for Skin Cancer Using EfficientNet and Extreme Gradient Boosting

Complexity, Hindawi Publishers
2021-09-16 | Journal article
Source: Self-asserted source
Dr Nadeem Akhtar
grade
Preferred source (of 2)‎

Guaranteeing Correctness of Machine Learning Based Decision Making at Higher Educational Institutions

IEEE Access
2021-06-14 | Journal article
Part of ISSN: 2169-3536
Source: Self-asserted source
Dr Nadeem Akhtar
grade
Preferred source (of 2)‎

Formal Modeling, Proving, and Model Checking of a Flood Warning, Monitoring, and Rescue System-of-Systems

Scientific Programming
2021-04-15 | Journal article
Source: Self-asserted source
Dr Nadeem Akhtar
grade
Preferred source (of 2)‎

Classification of canola seed varieties based on multi-feature analysis using computer vision approach

International Journal of Food Properties
2021-03-25 | Journal article
Part of ISSN: 1094-2912
Source: Self-asserted source
Dr Nadeem Akhtar
grade
Preferred source (of 2)‎

Analyzing COVID-2019 Impact on Mental Health Through Social Media Forum

Computers, Materials & Continua
2021-03-01 | Journal article
Part of ISSN: 1546-2226
Source: Self-asserted source
Dr Nadeem Akhtar
grade
Preferred source (of 2)‎

Analyzing COVID-19 Impact on the Researchers Productivity through Their Perceptions

Computers, Materials & Continua
2021-02-05 | Journal article
Part of ISSN: 1546-2226
Source: Self-asserted source
Dr Nadeem Akhtar
grade
Preferred source (of 2)‎

Approach for the formal specification, modelling, and verification of a safety-critical multi-agent system; An employee's management multi-agent system (EM-MAS

Technical Journal, UET Taxila
2021-01-29 | Journal article
Part of ISSN: 1813-1786
Source: Self-asserted source
Dr Nadeem Akhtar

A Novel Method of Image Denoising: New Variant of Block Matching and 3D

Journal of Medical Imaging and Health Informatics
2020-10-01 | Journal article
Part of ISSN: 2156-7018
Source: Self-asserted source
Dr Nadeem Akhtar

Automatic Video Annotation of Human Health Care Action via Clustering

Journal of Medical Imaging and Health Informatics
2020-10-01 | Journal article
Part of ISSN: 2156-7018
Source: Self-asserted source
Dr Nadeem Akhtar

Black Hole Attack Prevention in Mobile Ad-hoc Network (MANET) using Ant Colony Optimization Technique

Information Technology And Control
2020-09-24 | Journal article
Part of ISSN: 2335-884X
Part of ISSN: 1392-124X
Source: Self-asserted source
Dr Nadeem Akhtar

Improving seller–customer communication process using word embeddings

Journal of Ambient Intelligence and Humanized Computing
2020-07-17 | Journal article
Part of ISSN: 1868-5137
Part of ISSN: 1868-5145
Source: Self-asserted source
Dr Nadeem Akhtar

IoT for Development of Smart Dairy Farming

Journal of Food Quality
2020-03-23 | Journal article
Part of ISSN: 0146-9428
Part of ISSN: 1745-4557
Source: Self-asserted source
Dr Nadeem Akhtar

Scientometric analysis of social science and science disciplines in a developing nation: a case study of Pakistan in the last decade

Scientometrics
2020-03-07 | Journal article
Part of ISSN: 0138-9130
Part of ISSN: 1588-2861
Source: Self-asserted source
Dr Nadeem Akhtar

Correction: OpinionML—Opinion Markup Language for Sentiment Representation. Symmetry 2019, 11, 545

Symmetry
2020-01-22 | Journal article
Contributors: Mohammed Attik; Malik Muhammad Saad Missen; Mickaël Coustaty; Gyu Sang Choi; Fahd Saleh Alotaibi; Nadeem Akhtar; Muhammad Zeeshan Jhandir; V. B. Surya Prasath; Nadeem Salamat; Mujtaba Husnain
Source: check_circle
Crossref

Hierarchical Coloured Petri-Net Based Multi-Agent System for Flood Monitoring, Prediction, and Rescue (FMPR)

IEEE Access
2019-12-06 | Journal article
Part of ISSN: 2169-3536
Source: Self-asserted source
Dr Nadeem Akhtar
grade
Preferred source (of 2)‎

A Novel Co-Training-Based Approach for the Classification of Mental Illnesses Using Social Media Posts

IEEE Access
2019-11-14 | Journal article
Part of ISSN: 2169-3536
Source: Self-asserted source
Dr Nadeem Akhtar
grade
Preferred source (of 2)‎

A Systematic Study on the Role of SentiWordNet in Opinion Mining

Frontiers of Computer Science
2019-11-01 | Journal article
Part of ISSN: 2095-2228
Source: Self-asserted source
Dr Nadeem Akhtar

Profile Based Team Captain Recommendation System

Technical Journal, UET Taxila
2019-10-02 | Journal article
Part of ISSN: 1813-1786
Source: Self-asserted source
Dr Nadeem Akhtar

Formal Modeling of a Mail Transport System based on Multi-Agent System-of-Systems

Journal of Information Communication Technologies and Robotics Applications (JICTRA), (Formally known as NICE Research Journal of Computer Sciences)
2019-06-30 | Journal article
Part of ISSN: 2523-5729
Source: Self-asserted source
Dr Nadeem Akhtar

Smart Education with Smart Phones: A Case Study of Bahawalpur

Global Regional Review (GRR) - 2616-955X
2019-06-01 | Journal article
Source: Self-asserted source
Dr Nadeem Akhtar

OpinionML—Opinion Markup Language for Sentiment Representation

Symmetry
2019-04-15 | Journal article
Part of ISSN: 2073-8994
Source: Self-asserted source
Dr Nadeem Akhtar
grade
Preferred source (of 3)‎

Formal Architecture and Verification of a Smart Flood Monitoring System-of-Systems

The International Arab Journal of Information Technology (IAJIT)
2019-03-01 | Journal article
Part of ISSN: 1683-3198
Source: Self-asserted source
Dr Nadeem Akhtar

Formal Verification of Safety and Liveness Properties using Coloured Petri-Nets: A Flood Monitoring, Warning, and Rescue System

Journal of Information Communication Technologies and Robotics Applications (JICTRA), (Formally known as NICE Research Journal of Computer Sciences)
2018-07-01 | Journal article
Part of ISSN: 2523-5729
Source: Self-asserted source
Dr Nadeem Akhtar

Empirical Evaluation of Social and Traditional Search Tools for Adhoc Information Retrieval

International Journal of Advanced Computer Science and Applications
2017 | Journal article
Part of ISSN: 2156-5570
Part of ISSN: 2158-107X
Source: Self-asserted source
Dr Nadeem Akhtar

Formal Specification of a Truck Geo-Location Big-Data Application

International Journal of Advanced Computer Science and Applications
2017 | Journal article
Part of ISSN: 2156-5570
Part of ISSN: 2158-107X
Source: Self-asserted source
Dr Nadeem Akhtar

Mobile Technology based Polio-Vaccination System (PVS) – First Step Towards Polio-Free Pakistan

International Journal of Advanced Computer Science and Applications
2017 | Journal article
Part of ISSN: 2156-5570
Part of ISSN: 2158-107X
Source: Self-asserted source
Dr Nadeem Akhtar

Formal modeling and proving of Campus Management System: Event-B perspective

Bahria University Journal of Information and Communication Technologies (BUJICT)
2017-12-01 | Journal article
Part of ISSN: 1999-4974
Source: Self-asserted source
Dr Nadeem Akhtar

Formal Validation of an Agent-based Location Guidance System (LGS)

Journal of Information Communication Technologies and Robotics Applications (JICTRA), (Formally known as NICE Research Journal of Computer Sciences)
2017-12-01 | Journal article
Part of ISSN: 2523-5729
Source: Self-asserted source
Dr Nadeem Akhtar

Comparative study of teaching first programming language in distance learning using lecture based approach and project based approach

4th e-Learning and Distance Education Conference (ELDEC2017)
2017-11-01 | Conference paper
Source: Self-asserted source
Dr Nadeem Akhtar

Gender Prediction for Expert Finding Task

International Journal of Advanced Computer Science and Applications
2016 | Journal article
Part of ISSN: 2156-5570
Part of ISSN: 2158-107X
Source: Self-asserted source
Dr Nadeem Akhtar

Evaluating Mobile Phones and Web Sites for Academic Information Needs

International Journal of Advanced Computer Science and Applications
2016-10-01 | Journal article
Part of ISSN: 2156-5570
Part of ISSN: 2158-107X
Source: Self-asserted source
Dr Nadeem Akhtar

A Study of Resilient Architecture for Critical Software-Intensive System-of-Systems (Sisos)

International Journal of Advanced Computer Science and Applications
2016-08-01 | Journal article
Part of ISSN: 2156-5570
Part of ISSN: 2158-107X
Source: Self-asserted source
Dr Nadeem Akhtar

Sentiment Based Twitter Spam Detection

International Journal of Advanced Computer Science and Applications
2016-07-01 | Journal article
Part of ISSN: 2156-5570
Part of ISSN: 2158-107X
Source: Self-asserted source
Dr Nadeem Akhtar

Hashtag the Tweets: Experimental Evaluation of Semantic Relatedness Measures

International Journal of Advanced Computer Science and Applications
2016-06-01 | Journal article
Part of ISSN: 2156-5570
Part of ISSN: 2158-107X
Source: Self-asserted source
Dr Nadeem Akhtar

Role Based Multi-Agent System for E-Learning (MASeL)

International Journal of Advanced Computer Science and Applications
2016-03-01 | Journal article
Part of ISSN: 2156-5570
Part of ISSN: 2158-107X
Source: Self-asserted source
Dr Nadeem Akhtar

Analysis, Design, Architecture specification, and Formal Verification of a Smart Flood Monitoring System-of-Systems

Science International (Lahore)
2016-01-01 | Journal article
Part of ISSN: 1013-5316
Source: Self-asserted source
Dr Nadeem Akhtar

A New Similarity Measure for Combining Conflicting Evidences

Computer Science and Information Technology
2015-05-01 | Journal article
Part of ISSN: 2331-6063
Part of ISSN: 2331-6071
Source: Self-asserted source
Dr Nadeem Akhtar

Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study

Journal of Software Engineering and Applications, Vol. 8, pp. 43-50, 2015, DOI: 10.4236/jsea.2015.82006.
2015-02-01 | Journal article
Source: Self-asserted source
Dr Nadeem Akhtar

REQUIREMENT ANALYSIS, ARCHITECTURAL DESIGN AND FORMAL VERIFICATION OF A MULTI-AGENT BASED UNIVERSITY INFORMATION MANAGEMENT SYSTEM

AIRCC - International Journal of Computer Science & Information Technology (IJCSIT) - ISSN 0975–3826
2014-12-01 | Journal article
Part of ISSN: 0975-3826
Source: Self-asserted source
Dr Nadeem Akhtar

Spatial Analysis of Geo-Tagged Tweets for Most Important Issues of the World

International Journal of Computer Trends and Technology (IJCTT) - ISSN: 2231-5381
2014-12-01 | Journal article
Part of ISSN: 22315381
Source: Self-asserted source
Dr Nadeem Akhtar

SN2SMS: Location-Aware Social Network Based SMS Health-Care System

IJCSI International Journal of Computer Science Issues - ISSN: 1694-0814
2014-07-01 | Journal article
Part of ISSN: 1694-0814
Source: Self-asserted source
Dr Nadeem Akhtar

KitRobot: A multi-platform graphical programming IDE to program mini-robotic agents

IISTE - Computer Engineering and Intelligent Systems
2014-03-01 | Journal article
Part of ISSN: 2222-1719
Source: Self-asserted source
Dr Nadeem Akhtar
Items per page:
Page 1 of 2