dr.maryam

Dr. Maryam Abdul Ghafoor (PhD LUMS, Lahore)

ASSISTANT PROFESSOR
PROFILE SUMMARY

Dr. Maryam completed the PhD degree in Computer Sciences from Lahore University of Management Sciences, Pakistan. She joined academia in 1999 after completing PGD from University of the Punjab where she worked at different positions. She also worked as a software engineer at various places. Dr. Maryam research interests are in program analysis, automated testing, symbolic execution and model checking. She is also interested in applying machine learning techniques in digital health domain.

QUALIFICATION
PhD Computer Science Lahore University of Management Sciences, Lahore, Pakistan 2019
MS Computer Science Lahore University of Management Sciences, Lahore, Pakistan 2015
M.Sc. Computer Science University of Punjab, Lahore, Pakistan 2000
PGD Computer Science University of Punjab, Lahore, Pakistan 1998
TEACHING EXPERIENCE
Assistant Professor Capital University of Science and Technology (CUST), Islamabad Since – 2020
Visiting Faculty National University of Computer and Emerging Sciences (FAST-NU), Lahore. 2015-2016
Teaching Assistant Lahore University of Management Sciences, Lahore Pakistan 2015 – 2017
ICT Teacher The City School, Mianwali Campus, Pakistan 2008-2012
Visiting Faculty The Institute of Management Sciences, Lahore, Pakistan 2004-2005
Visiting Faculty Pak-American Institute of Management Sciences, Lahore 2001-2002
Visiting Faculty University of the Punjab, Lahore, Pakistan 1999 – 2000
INDUSTRIAL EXPERIENCE
Software Engineer CresSoft Pvt. Ltd. 2001-2002
Web Developer GBNets Pvt. Ltd 2000-2001
HONORS & AWARDS
1. Higher Education Commission’s IRSIP Scholarship Award for visiting researcher in UK
2. ACM SIGSOFT grant for presenting paper in ASE 16 (Singapore)
3. Dean’s Honor Roll, MS Computer Science, LUMS
4. Merit Certificate in M.Sc., University of the Punjab
5. Roll of Honor in B.Sc., Lahore College for Women Lahore
6. Scholarship in Mathematics, F.Sc., Lahore Board
7. Best Teacher Award for consecutive four years , The City School
8. First prize in Inter-department University Debate Competition, University of The Punjab
RESEARCH AREAS / INTERESTS
  1. Program Analysis ;
  2. Automated Software Testing;
  3. Symbolic Execution, Model Checking;
  4. Digital Health.
BOOKS AUTHORED / AUTHORED
1. Advances in Software Model Checking, Chapter in book “Advances in Computers”. Volume 108: Pages 59-89, Elsevier.
JOURNAL PUBLICATIONS
1. Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui, “Extending Symbolic Execution for Automated Testing of Stored Procedures”. Software Quality journal, 2019.
CONFERENCE PUBLICATIONS
1. Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui, “Effective Partial Order Reduction in Model Checking Database Applications”. IEEE International Conference on Software Testing, Verification and Validation (ICST), 2016.
2. Muhammad Suleman Mahmood, Maryam Abdul Ghafoor, Junaid Haroon Siddiqui, “Symbolic Execution of stored procedures in database Management System”. 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), 2016.
3. Maryam Abdul Ghafoor, Junaid Haroon Siddiqui, “Cross Platform Bug Correlation Using Stack Traces”. 14th International Conference on Frontiers of Information Technology (FIT), 2016. Pages: 199 – 204
4. Maryam Abdul Ghafoor, Aneesa Abbasi, Meher Fatima Zaidi, Furqan Arshad, Suleman Shahid, “LiveDliver & HepOrganizer: A Digital No to Hepatitis in Pakistan”. ACM CHI, Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Pages 2307-2313.

Other Members