MUHAMMAD SALEEM VIGHIO completed M.Sc and Ph.D degrees in Computer Science from Aalborg University in 2009 and 2012, respectively. Currently, he is working as an Associate Professor and the Head of the Department of Computer Science at the Quaid-e-Awam University of Engineering, Science and Technology, Nawabshah, Sindh, Pakistan. Dr. Vighio’s research work focuses on the verification of software systems including realtime and embedded systems and web services protocols. Since 2012, Dr. Vighio has produced several Masters and PhD students. He has been credited with several National and International conference and journal papers. Dr. Vighio is a member of the editorial boards of many research journals. He is also a member of the board of studies of national Universities.