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