Associate Professor
Ph.D Software Engineering (University of Sunderland, UK)
Software modeling using formal methods, Modeling secure software systems
drshafiq@uosahiwal.edu.pk