Senior YearSoftware Engineer
Senior-year Software Engineering student at NUST with a strong grip on mathematics, logic, and programming. Equipped with multidisciplinary knowledge spanning the MERN stack, immersive technologies, digital twins, embedded systems, and machine learning, I want to apply my skills to systems and products that solve real-world problems, have community impact, and are focused on the SDGs.
Academic foundation
Software engineering study backed by hands-on technical work.
2023 - 2027
Bachelor of Engineering in Software Engineering - Islamabad
CGPA: 3.34 / 4.00
Data Structures and Algorithms, Operating Systems, Database Systems, Computer Networks, Software Design and Architecture.
Formal Methods, Software Quality Engineering, Web Engineering, Embedded Systems, Machine Learning, and Cloud Computing.
Summer 2026
CATCH_VR Summer School - Topi, Pakistan
Cofunded by Erasmus+ and European Union
A two-week intensive bootcamp on immersive technologies, IoT, and digital twins. I led the Data Drifters team alongside hardware, backend, and Unity collaborators. Our project won 1st Place — Best Digital Twin Category out of 33 submissions. See the AquaTwin project for details.
Recent work
Engineering work across connected systems, security, and data.
Built karAQI, an end-to-end machine learning system that forecasts Karak's air quality 72 hours ahead using Open-Meteo reanalysis data. Experimented with LSTM, Random Forest, and classical forecasting models, but they were slower or less effective for this dataset, so XGBoost and Ridge were selected for production. Automated feature engineering, model training, and forecast delivery to a Streamlit dashboard with DuckDB, MLflow, and GitHub Actions.
Gemorph.com
Built the entire gemorph.com website — turned an inherited Vite/React codebase into a focused, investor-ready marketing site with a Canvas DNA hero animation, scroll-driven reveals, and a serverless MDX blog system.
Visit gemorph.comDeveloped a machine learning model to flag malicious requests by inspecting URL headers and request bodies. Studied Web Application Firewall behavior and the principles behind request filtering.
Coordinated logistics and cross-team communication for large programmes. Prepared research summaries and reports against weekly deadlines.
Selected projects with a focus on useful systems, clear engineering, and measurable outcomes.
CATCH_VR Summer School | GIK Institute
Developed by the Data Drifters team during the CATCH_VR Summer School at GIK Institute, AquaTwin is a city-scale groundwater digital twin. Independent sensor units on multiple wells and bores send readings to the cloud, where the data is processed into a 3D map of groundwater across a locality or city. The system supports policy makers, public awareness of groundwater depletion, and better city planning across SDG 6, Clean Water and Sanitation, and SDG 11, Sustainable Cities and Communities.
Watch DemoBuilt an end-to-end machine learning system that forecasts Karak's air quality 72 hours ahead using Open-Meteo reanalysis data, a DuckDB feature store, and XGBoost and Ridge models. Automated CI/CD pipelines fetch data, retrain models, compare champions, and publish pre-computed forecasts to a Streamlit dashboard for near-instant loading. The project brings transparent AQI forecasting to a region without a local monitoring station.
View CodeEngineered a Python and Flask backend pipeline to reconstruct scrambled tile-based book preview images. Traced the network layer to decrypt coordinate mappings, stitched fragments using the Pillow library, and built a multithreaded processing pipeline to stitch hundreds of pages concurrently. Integrated Server-Sent Events (SSE) to stream live decryption logs to the frontend, compiling final pages into a clean, localized PDF.
View Code Watch DemoDesigned a normalized relational schema in SQLite covering inventory, personnel, and finance domains. Built a modular service layer and a React + Electron shell that keeps all data local. Implemented automated financial and inventory reporting as composable functions and packaged the application as a Windows installer.
View Code Watch DemoArchitected the backend for a P2P rumor verification app using zero-knowledge proofs. Designed the core protocol with libp2p and OrbitDB for secure, decentralized data storage. Implemented identity management with Semaphore V4 and a truth-scoring engine using the Bayesian Truth Serum algorithm to filter misinformation.
View Code Live Demo Watch DemoContributed to the backend architecture for a habit-building (by peer push and mentor guidance) platform, ensuring data flows correctly between users and mentors. Designed a logical MongoDB schema to handle complex user relationships and session management efficiently. Collaborated with a team to integrate API endpoints, focusing on system stability and reliable data retrieval.
View Code Watch DemoDesigned and formally verified a concurrent Producer-Consumer system using NuSMV and Linear Temporal Logic (LTL). Built a scheduler-based model with two producers, two consumers, and an explicit 4-slot FIFO buffer, verifying 15 correctness properties including safety, liveness, mutual exclusion, starvation freedom, and FIFO ordering. Also introduced a deliberate synchronization bug to generate counterexamples and analyze concurrency failures through formal model checking.
View CodeRecreated complex frontend interfaces to master the logic of responsive design and layout engines. Used media queries to ensure the interface renders correctly across different devices.
Kali Clone Amazon CloneRunning application demo video.
A walkthrough of the tile reconstruction pipeline and live processing output.
Running application demo video.
A walkthrough of the local inventory, personnel, and finance workflows.
Running application demo video.
A walkthrough of the peer and mentor session workflows.
Running application demo video.
A walkthrough of anonymous rumor submission and verification flows.
AI-generated demonstration of the project concept.
AI demonstration of the AquaTwin groundwater digital twin concept.
Technical toolkit
Tools I use to build, test, and explain working systems.
JavaScript
C++
Python
Java
HTML
CSS
SQL
Git/GitHub
VS Code
Linux (Kali/Ubuntu)
REST APIs
Matlab
Proteus
MongoDB
Express.js
React
Node.js
CyberSecurity Fundamentals
Firewalls
HOL & Model Checking
Digital Logic
Design
Assembly Language
Arduino Programming &
MicrocontrollersMachine LearningData AnalysisAvailable for software engineering opportunities, project work, and thoughtful collaboration.