9 course projects and research papers from my BS in Software Engineering at The University of Lahore, covering databases, requirements and software architecture, human-computer interaction, machine learning, formal methods, object-oriented programming and technical writing.
Last updated 1 October 2026
CS06301
Ancestral Data & Lineage Tracking System - Database Systems
This project involves the design and implementation of a genealogical database system that empowers users to digitally construct, explore, and preserve their family history. The application allows users to create detailed profiles for individuals (both living and deceased), define complex family relationships (such as parent, child, and spouse), and record key life events like births, deaths, and migrations. A core feature of the system is its ability to track ancestral locations over generations, providing a dynamic way to visualize a family journey through time.
Team: Abdullah Kaleem, M Ammar Qaisar, Muhammad Areeb Khan, Ali Murtaza Khan
This SRS document describes the functional and non-functional requirements of the project Synapce. The document is intended for stakeholders, developers, instructors, and evaluators to clearly understand the system objectives, scope, and constraints. It serves as a reference throughout the development lifecycle of the project.
Team: Abdullah Kaleem, Muhammad Areeb Khan, Minahil Khan
Software Requirements Specification
Functional Requirements
Non-Functional Requirements
Use Cases
System Architecture
Documentation
Software Design & Architecture
CS04301
Synapce UI/UX - Human Computer Interaction
The domain of Synapce is temporary cloud storage and data mobility. Its at the intersection of temporary file transfer services (like WeTransfer) and personal cloud storage (like Google Drive). It helps in the movement of digital assets between public (labs/libraries/work devices) and private environments (personal/home devices).
This project aims to predict loan approval status using various machine learning algorithms. Financial institutions face challenges in evaluating loan applications efficiently and accurately. By leveraging historical loan data, this project compares multiple algorithms to identify the most effective model for predicting whether a loan should be approved or rejected.
Team: Abdullah Kaleem, Muhammad Areeb Khan, M Ammar Qaisar
Artificial Intelligence
Machine Learning
Data Analysis
Kaggle
Python
Algorithm Analysis
Model Evaluation
CS20403
Formal Verification of ATM Cash Withdrawal Process Using UPPAAL and Mathematical Methods - Formal Methods in Software Engineering
Used UPPAAL to formally model and verify the ATM cash withdrawal process. Ensured correctness, security, and reliability using timed automata, temporal logic, and Z-Notation. Validated edge cases like incorrect PINs and insufficient balance.
Team: Abdullah Kaleem, Muhammad Ammar Qaisar, Muhammad Areeb Khan, Abdul Moeed
UPPAAL
Mathematical Methods
Formal Verification
CS04431
SRS Document for Google Translate Chrome Extension - Software Requirements Engineering
Developed SRS document for Google Translate Chrome extension that includes detailed functional and non-functional requirements, use cases, and system architecture. It serves as a comprehensive guide for developers to implement the extension, ensuring clarity and alignment with user needs.
Team: Abdullah Kaleem, Khadija Shamim
SRS
Software Requirements
Use Cases
System Architecture
Documentation
CS02203
Scientific Calculator using OOP Principles - Object Oriented Programming
Built a command-line scientific calculator in C++ using OOP principles, featuring basic arithmetic, scientific functions, and calculation history management. Implemented file I/O for saving history, used class inheritance, and displayed real-time system clock on exit. Designed with a menu-driven interface for interactive user experience.
Team: Abdullah Kaleem, Muhammad Areeb Khan, Naveed Ahmed, Afaq Khan
Impact of AI Learning Tools on Critical Thinking and Problem-Solving Skills in Higher Education - Technical & Business Writing
Conducted academic research on the impact of AI learning tools. Used literature review and student surveys to analyze cognitive, ethical, and performance outcomes. Proposed strategies for responsible AI integration, emphasizing digital literacy, active learning, and independent thinking in AI-assisted education.
Team: Abdullah Kaleem, Muhammad Areeb Khan, Ayman Shafique, Maryam Shahid
Developed a hospital management system in C++. The program manages patient records, doctor schedules, and appointments. It features a user-friendly terminal menu interface and data management, ensuring efficient hospital administration.
Team: Abdullah Kaleem, Muhammad Ammar Qaisar, Muhammad Areeb Khan
Programming Fundamentals
Project Management
Problem Analysis
C++
Need a tech team without hiring one? Let's talk.
Tell me about your business and what is slowing it down.