University of the Punjab.

I am working as an Associate Professor in the Department of Information Technology, Faculty of Computing and IT (FCIT), The University of the Punjab, Lahore. Before that, I worked as an Associate Professor and Chairman of the Department of Software Engineering, Faculty of Computing, The Islamia University of Bahawalpur.
I have 22 years of experience in teaching, research, coordination, and University-level education management. Defended my 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. Worked as a Teaching Assistant, teaching and supervising projects at the University of South Brittany (UBS), Bretagne, France in 2007, 2008, and 2009. Completed MS (Master-2) with a specialization in Information System Architecture from the Institut Universitaire Professionnalis´e (IUP), University of South Brittany, Bretagne, FRANCE in 2006.
Recipient of several scholarships, awards, and research grants, including the HEC overseas scholarship 2006 for Ph.D. studies in France, the 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. Research areas are Multi-Agent Systems, Formal modeling, Deep Learning, Machine Learning, Blockchain, Web3, Data analytics, and Formal verification & validation.
I have been teaching university post-graduate and graduate students and supervising Ph.D. and MS research. Three PhD and 110 MS students have completed their thesis under my supervision. Have 55 research articles published in reputed International Journals and 2 research articles published in Internationally reputed Conferences.