# Coursework and research

> 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.

Canonical page: https://www.abdullahkaleem.live/about/academic · Last updated: 1 October 2026

## Ancestral Data & Lineage Tracking System - Database Systems

Anchor: https://www.abdullahkaleem.live/about/academic#cs06301
Course: CS06301

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
Skills: Database Design, Data Modeling, Genealogy, Data Visualization, SQL, ER Diagrams, Normalization


## Synapce Software Requirements Specification (SRS) Document - Software Design & Architecture

Anchor: https://www.abdullahkaleem.live/about/academic#se3105
Course: SE3105

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
Skills: Software Requirements Specification, Functional Requirements, Non-Functional Requirements, Use Cases, System Architecture, Documentation, Software Design & Architecture


## Synapce UI/UX - Human Computer Interaction

Anchor: https://www.abdullahkaleem.live/about/academic#cs04301
Course: CS04301

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).

Team: Abdullah Kaleem, Muhammad Areeb Khan
Skills: Human-Computer Interaction, UI/UX Design, Prototyping, User Research, Wireframing, Usability Testing


## Loan Approval Prediction - Artificial Intelligence

Anchor: https://www.abdullahkaleem.live/about/academic#cs13207
Course: CS13207

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
Skills: Artificial Intelligence, Machine Learning, Data Analysis, Kaggle, Python, Algorithm Analysis, Model Evaluation


## Formal Verification of ATM Cash Withdrawal Process Using UPPAAL and Mathematical Methods - Formal Methods in Software Engineering

Anchor: https://www.abdullahkaleem.live/about/academic#cs20403
Course: CS20403

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
Skills: UPPAAL, Mathematical Methods, Formal Verification


## SRS Document for Google Translate Chrome Extension - Software Requirements Engineering

Anchor: https://www.abdullahkaleem.live/about/academic#cs04431
Course: CS04431

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
Skills: SRS, Software Requirements, Use Cases, System Architecture, Documentation


## Scientific Calculator using OOP Principles - Object Oriented Programming

Anchor: https://www.abdullahkaleem.live/about/academic#cs02203
Course: CS02203

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
Skills: OOP, File I/O, Class Inheritance
Link: https://github.com/abdullahkalim21/cpp_Basic_Programs/blob/main/cpp%20files/scientific_calculator.cpp

## Impact of AI Learning Tools on Critical Thinking and Problem-Solving Skills in Higher Education - Technical & Business Writing

Anchor: https://www.abdullahkaleem.live/about/academic#eng07107
Course: ENG07107

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
Skills: Academic Writing, Research, Critical Thinking, Problem Solving, Survey Conduct/Design
Link: https://github.com/abdullahkalim21/cpp_Basic_Programs/blob/main/general-projects/impact_of_AI.md

## Hospital Admin Program - Programming Fundamentals

Anchor: https://www.abdullahkaleem.live/about/academic#cs02115
Course: CS02115

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
Skills: Programming Fundamentals, Project Management, Problem Analysis, C++


Contact: [contact form](https://www.abdullahkaleem.live/contact) or abdullahkaleemlive@gmail.com