Software Engineering Student (6th semester)
Software Engineering student focused on building functional, reliable applications that solve real problems. I combine a strong understanding of logic and mathematics with practical development skills to create software that works properly and efficiently. Experienced in the MERN stack and backend architecture, I am looking to apply my problem-solving mindset in a professional engineering environment to deliver robust solutions.
Professional internships and industrial exposure
June 2025 – August 2025
March 2025 – April 2025
June 2025 – August 2025
A comprehensive portfolio showcasing innovative software development projects and technical expertise
Engineered 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 CodeBuilt a functional search engine from scratch to understand the logic behind information retrieval. Implemented core indexing algorithms to crawl and rank data, ensuring accurate search results. Optimized queries to reduce latency, demonstrating a deep understanding of data structures and algorithmic efficiency.
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 CloneCurrency Converter: Built a real-time tool using the Fetch API to handle asynchronous data reliably. Logic Games: Developed logic-based games (Rock Paper Scissors) to solidify understanding of control flow and DOM manipulation.
Currency Converter Live Demo Logic Games Live DemoRunning application demo video.
This is the scrambled-canvas-parser demo video. It demonstrates the key features and functionality of the application.
Running application demo video.
This is the Asset management system demo video. It demonstrates the key features and functionality of the application.
Running application demo video.
This is the PeerSupportHub demo video. It demonstrates the key features and functionality of the application.
Running application demo video.
This is the afwaah-rumour-verification demo video. It demonstrates the key features and functionality of the application.
Academic background and achievements
Bachelor of Engineering in Software Engineering | 2023 – 2027
CGPA: 3.34 / 4.00
Data Structures & Algorithms, Design & Analysis of Algorithms, Operating Systems, Database Systems, Computer Networks.
Formal Methods, Software Project Management, Software Quality Engineering, Software Construction, Software Design & Architecture.
Machine Learning, Cloud Computing, Web Engineering, Embedded Systems, Object Oriented Programming (OOP).
A comprehensive overview of my technical skills and competencies
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 AnalysisConnect with me for collaboration opportunities and professional inquiries
