About

Administration

Academics

Admissions

Campuses

Campus Life

Quick Links

Dr. Nadeem Akhtar
  • Dr. Nadeem Akhtar

  • Associate Professor/Chairperson
    PhD
  •  https://www.linkedin.com/in/dr-nadeem-akhtar-9142717/

About

Chairperson and Associate Professor

HEC Approved PhD supervisor

PhD (Computer Science)

Specialization: Formal Software Engineering & Multi-agent Robotics

Research Lab. IRISA, University of South Brittany (UBS), Vannes, Bretagne, France.

MS (Computer Science)

Specialization: Information System Architecture 

IUP (Institut Universitaire Professionnalisé), University of South Brittany (UBS), Vannes, Bretagne, France. 

BS (Computer Science)

 

Dr. Nadeem Akhtar is working as Chairperson and Associate Professor Department of Software Engineering, Faculty of Computing, The Islamia University of Bahawalpur (IUB), Pakistan. He has 19 years of experience of university teaching, research, and higher education institution management. He is motivated, rigorous, trustworthy, and committed.

Dr Nadeem successfully defended his Ph.D. thesis - titled "Contribution to the formal specification and verification of a multi-agent robotic system" - with the highest distinction “Tres Honorable (magna cum laude)" on Thursday 2nd of September 2010 from IRISA, University of South Brittany (UBS), Bretagne, FRANCE. He worked as a Ph.D. fellow and Teaching Assistant teaching and supervising projects in the University of South Brittany (UBS), Bretagne, France, during 2007, 2008, and 2009.

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 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.

One PhD and 74 MS students have completed their thesis under the supervision of Dr. Nadeem Akhtar.

He has 50 research articles published in reputed International Journals and 02 research articles published in International reputed Conferences.

Phone:0331-2116491
Email:nadeem.akhtar.phd@gmail.com
Secondary Email:nadeem.akhtar@iub.edu.pk
Address:Department of Software Engineering, Faculty of Computing,

Research Interests

Software Quality Assurance, Formal modeling, Formal verification, Safety-Critical systems, Data Analytics, Machine learning

Publications

52

© 2023 The Islamia University of Bahawalpur iub.edu.pk.