I am Associate Professor in the Department of Information Technology, Quaid-e-Awam University of Engineering Science and Technology, Nawabshah. I am mostly involved in research and teaching in the Department and the University. Detailed information about my activities can be found by clicking relevant links in the left-most panel.

Department of Information Technology,
Quaid-e-Awam University of Engineering Science & Technology,
Nawabshah, 67480, Sindh, Pakistan.
Phone Office: dial +922449370381-5 and then extension 2654
Email: saleem DOT vighio AT quest DOT edu DOT pk


Qualification
  • PhD (2012) Aalborg University, Denmark
  • M.Sc (2009) Aalborg University, Denmark
  • BS (CS) University of Sindh, Jamshoro
Teaching Experience
  • Associate Professor (2013 - To date) 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
  • Software engineering
  • Database systems
  • Service oriented architectures and web services

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)