Prof. Dr. Muhammad Saleem Vighio

I am a full Professor in the Department of Computer Science, Quaid-e-Awam University of Engineering Science and Technology, Nawabshah. I actively perform research and teaching obligations in the Department and the University. Information about my qualification, teaching and research experience, research interests, projects I have worked with, and other activities are given below.

Qualification

• PhD (2012) Aalborg University, Denmark

• M.Sc (2009) Aalborg University, Denmark

• BS (CS) University of Sindh, Jamshoro

Experience

• Professor (2022 - To date) Quaid-e-Awam University of Engineering, Science and Technology, Nawabshah, Sindh

• Associate Professor (2013 - 2022) Quaid-e-Awam University of Engineering, Science and Technology, Nawabshah, Sindh

• Assistant Professor (2012 - 2013) Quaid-e-Awam University of Engineering, Science and Technology, Nawabshah, Sindh

• Teaching Assistant (2009 - 2012) Aalborg University, Denmark

• Lecturer (2006 - 2012) Quaid-e-Awam University of Engineering, Science and Technology, Nawabshah, Sindh

• Research Associate (2005 - 2006) University of Sindh, Jamshoro

Research Interests

• Formal methods: Model checking and verification

• Fault tolerance

• Database systems

• Service oriented architectures and web services

• Gamification

• Technology-based Learning

Supervision - PhD Dissertations

• "Empirical study on the use of Gamification for increased learning outcome of higher-grade students", (Supervision), In progress.

• "Development and Performance Predication of an Integrated Blended Learning Model on Students' Learning using Bayesian Network", defended June 14, 2023 (Co-supervision)

• "User Experience based E-learning Acceptance Model for Higher Education: Development and Validation", defended May 18, 2023 (Co-supervision)

• "Empirical Analysis of the Acceptance of Mobile-Based Learning for Continuous Professional Development of Teachers in Sindh Pakistan", defended January 13, 2023 (Supervision)

• "Implementation and Analysis of Fault-Tolerance Mechanisms in Web Services Protocols", defended February 24, 2021 (Supervision)

• "An Authentication Framework for Improving Security and Memorability of Textual Passwords", defended 2018 (Co-supervision)

• "An Empirical analysis of M-Learning Acceptance in the context of higher education institutes", defended 2018 (Co-supervision) 

Research Grants

• Recipient of grant from Novo Nordisk, Denmark for M.Sc tuition waiver.

• Recipient of PhD scholarship under Faculty Development Program (FDP) of Higher Education Commission of Pakistan (HEC) in 2008.  

Keynote Speeches

• "Redundancy and its effects on the performance of relational databases" in 12th International Conference on Mathematics, Actuarial, Computer Science & Statistics (MACS 12), Institute of Business Management (IoBM), Karachi , Pakistan, November 24-25, 2018. 

Invited Talks

• "Formal analyses of Web services protocols", Department of Information Technology, Quaid-e-Awam University of Engineering, Science & Technology, Nawabshah, Sindh, Pakistan, April 6, 2012. 

• "Career counseling and future directions", Government Degree College, Qazi Ahmed, Sindh, Pakistan, March 5, 2022. 

• "Software development process", Provisional Institute of Teachers Education, Nawabshah, Sindh, Pakistan, September 17, 2022. 

Conference / Departmental Presentations

• TACAS'11: 31st AMrch 2011, Saarbrucken, Germany.

• DES/CISS'10: 23rd March 2011, DES / CISS AAU, Aalborg, Denmark.

• ISoLA'10: 19th October 2010, Amirandes, Heraclion, Crete, Greece.

• DES/CISS'10: 12th October 2010, DES / CISS AAU, Aalborg, Denmark.

• DES/CISS'09: 27th October 2009, DES / CISS AAU, Aalborg, Denmark.

• NWPT'09: 14th October 2009, DTU Lyngby, Copenhagen, Denmark.

Events Participated

• TACAS 2011: 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 26 March-03 April 2011, Saarbrücken, Germany.

• ISoLA 2010: 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. 18-20 October 2010, Amirandes, Heraclion, Crete, Greece.

• QMC 2010: PhD School on Quantitative Model Checking. 02-05 March 2010, Copenhagen, Denmark.

• NWPT 2009: 21st Nordic Workshop on Programming Theory, NWPT'09. 14-16 October 2009, Lyngby, Denmark.

• FLACOS 2009: Third Workshop on Formal Languages and Analysis of Contract-Oriented Software. 24-25, September 2009, Toledo, Spain.

• SFM-09:WS: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services. 1-6 June 2009, Bertinoro, Italy.

Activities

• Focal person of National Computer Education Accreditation Council (NCEAC), QUEST Campus, Nawabshah.

• Program evaluator, National Computer Education Accreditation Council (NCEAC)

• External evaluator, Ignite National Technology Fund

• Session Chair, 1st International Conference on Emerging Trends in Information and Engineering Technologies, March 24-25, 2022.

• Focal person of 1ST National Conference on Mathematics and Computer Science (NCMCS'15) 21-23 January 2015 (http://ncmcs.quest.edu.pk/)

• Focal person of 1ST National Conference on Trends and Innovations in Information Technology (TIIT'16) 24-26 February 2016 (http://tiit.quest.edu.pk/)

Memberships

• Member of the editorial board of International Journal of Emerging Multidisciplinaries (IJEMD)

• Member of the editorial board of Sindh University Research Journal (SURJ)  w.e.f. 19-04-2017.

• Member of the editorial board of Journal of Independent Studies and Research (JISR)  w.e.f. May-2017.

Reviewer

• Acta Psychologica (Elsevier)

• International Journal of Educational Research (Elsevier)

• International Journal of Educational Research Open (Elsevier)

• IEEE Access

• Computer Science and Information Technology, Horizon Research Publishing

• IGI Global

• Sukkur IBA Journal of Computing and Mathematical Science

• International Journal of Changes in Education (IJCE)

Tool Development

• csv2uppaal (Tool chain that translate tables with state/transition protocol descriptions into a network of communicating state machines directly suitable for verification in Uppaal)

• Query simplification tool (The Tool allows user to input sql queries, eliminates redundancy from the queries, and produces simplified query along with statistics of time it takes to simplify queries and consumption of RAM)

• Fault Tolerance Model (FT Model helps diagnosis and resolution of Web services failures occurring during their execution.)