Ms. Iqra Obaid
Lecturer, Computer Science
Area of Interest: Semantic Web
Tel # (Off): 111-001-007  

I am an academician with a Computer Science background, specialized in Formal Methods. Currently, I am working as Lecturer in the Computer Science Department of COMSATS University Islamabad, Lahore Campus, Pakistan. My research interests revolve around Formal verification and gamification.

Courses Taught: 
  • Discrete Structures
  • Introduction to Software Engineering
  • Computer Organization and Assembly Language
  • Game Development
Teaching Resources:

Discrete Structures

Course Site:

Software Engineering

Course Site:

Game Development

Course Site:

Completed/Ongoing Projects:
  • Time Table Management System
  • BRegistered
  • National Healthcare Assistant
  • ETC-Electronic Toll Collection
  • E-recruitment System for Ministry of Agriculture Irrigation and Live-stock
  • E-Dairy Farming
  • Scissors & Razors
  • Lost and Found 




Journal Papers:
1. Aimen Anum, Tariq Ali, Shuja Akbar , Iqra Obaid , Muhammad Junaid Anjum , Umar Draz , Momina Shaheen (2020), "Angle Adjustment for Vertical and Diagonal Communication in Underwater Sensor", International Journal of Advanced Computer Science and Applications, pp: 604-616, Vol: 11   
2. Iqra Obaid, Muhammad Shoaib Farooq, Adnan Abid (2020), "Gamification for Recruitment and Job Training: Model, Taxonomy, and Challenges", IEEE Access, pp: 65164-65178, Vol: 8, Standard: 2169-3536, Impact Factor: 4.098   
3. Momina Shaheen, Tayyaba Anees, Nisar Hussain, Iqra Obaid (2019), "A Research on SOA in the IT Industry of Pakistan", ICCTA 2019 Proceedings of the 2019 5th International Conference on Computer and Technology Istanbul, Turkey — April 16 - 17,2019 Applications, pp: 149-154, Standard: 978-1-4503-7181-0   
4. Momina Shaheen, Tayyaba Anees, Muhammad Imran Manzoor, Shuja Akbar, Iqra Obaid, Aimen Anum (2019), "How Volunteering Affects the Offender’s Behavior", International Journal of Advanced Computer Science and Applications(IJACSA), Vol: 10, Issue: 4   
5. Iqra Obaid, Syed Asad Raza Kazmi and Awais Qasim (2018), "Modeling and Verification of Payment System in E-Banking", International Journal of Advanced Computer Science and Applications(IJACSA), Vol: 8, Issue: 8, Standard: 2156-5570   


Government College University (GCU) Lahore, Pakistan
Aug 2013 to Aug 2015
University of Sargodha, Sargodha Campus, Pakistan
Aug 2009 to Jun 2013


Comsats Institute of Information Technology
Sep 2015 to Date
University of Sargodha Lahore Campus
Feb 2015 to Aug 2016
Content Developer
Punjab Information Technology Board (PITB), Arfa Tower
Feb 2014 to Aug 2014

Disclaimer: Profiles are editable by employees who may share the data of publications, experience and education upto the extent they want to share. Also CIIT Lahore is not responsible for any display of data on personal profiles.