I work at the intersection of robust software engineering, intelligent systems, and research-led problem solving.
From enterprise procurement platforms to formal security tooling, I enjoy turning complex ideas into software that feels reliable, useful, and built to last.
Portfolio · LinkedIn · GitHub · Email
Over the last 5+ years, I’ve worked across public-sector systems, enterprise product development, and academic research.
Java and Spring Boot are where things click best for me, though my work has increasingly expanded into AI, formal reasoning, and product-focused system design.
I’m currently contributing to research tooling at King’s College London, re-engineering the X-Men security-ceremony analysis system as part of the SERMAS project. Before that, I worked at SAP on low-latency procurement systems and early GenAI experiments, and at TCS on India’s e-Filing and ITBA platforms.
Most of my commercial work lives in organisation-owned repositories, so this GitHub highlights the systems, prototypes, and experiments I can share publicly.
| Area | Details |
|---|---|
| Current Focus | Research Tooling, Backend Systems, and AI-Accelerated Software Development |
| Core Strengths | Java / Spring Boot, APIs, Microservices, Performance Tuning, Testing, and Security-Minded Engineering |
| Main Stack | Java, Python, TypeScript, JavaScript, React, Spring Boot, CAP, and SQL |
| Domains Worked In | Enterprise Procurement, Public-Sector Digital Systems, Security Ceremonies, Developer Tooling, and Interactive Systems |
| Current Interests | Formal Verification, Intelligent Systems, System Design, and Procedural Generation |
| Location | London |
Research tooling at King’s College London focused on the formal analysis of security ceremonies. My work involved re-engineering the earlier X-Men system toward a more modular architecture, introducing Spring Boot microservices around the mutation workflow, and expanding the tool’s ability to model human-induced vulnerabilities. The current X-Men that you see in this repo is a forked version of the original X-Men. X-Men 2.0 is bound under King's College's official GitHub and has not been made public yet, but the core concepts and architecture are reflected in this earlier version prototype.
Why it matters: where backend engineering, security modelling, and formal methods meet.
Stack / Concepts: Java Spring Boot Python JavaFX Swing Tamarin Prover Mutation Testing Security Ceremonies
Links: Public Prototype · Portfolio
A ticketing platform for Prarambh Theatre Group, split into a Spring Boot backend and a React / TypeScript frontend. The backend handles purchase flows, ticket issuance, QR-based check-in, in-memory JPG ticket generation, and aggregated email delivery.
Why it matters: shows end-to-end product engineering, from domain flow and operational logic to user-facing delivery.
Stack / Concepts: Java 21 Spring Boot Spring Data JPA H2 ZXing SMTP React TypeScript Tailwind CSS Vite Google Cloud Run Firebase Hosting
Links: Backend · Interface
An endless runner built in Unity with infinite terrain generation, random obstacle spawning, and planned environment shifts based on player distance.
Why it matters: shows I enjoy building beyond enterprise software, especially where simulation, gameplay systems, and evolving environments are involved.
Stack / Concepts: Unity 6 C# Procedural Generation Gameplay Systems AI Navigation
Links: Repository
A story-driven portfolio built with React, Vite, styled-components, and framer-motion, designed to feel polished without becoming noisy.
Why it matters: reflects product awareness, visual restraint, and thoughtful presentation.
Stack / Concepts: React Vite framer-motion styled-components GitHub Pages
Links: Live Site · Repository
Working on the SERMAS project to improve the security and reliability of intelligent agent-based systems through formal verification. My work includes re-engineering X-Men, shifting core functionality into Spring Boot services, integrating with Tamarin Prover, expanding mutation strategies, and documenting the system for multi-university collaboration.
Built and led parts of Buying 360 / One Procurement, including high-performance microservices, secure CAP-based APIs, cryptographic URL encryption, and Fiori Elements UI work. I also contributed to CAP GPT experiments that reduced development timelines while maintaining validation through tools like Fortify and SonarQube.
Worked on India’s e-Filing and ITBA platforms, building Java / JSP / Struts2-based tax workflows, XML-heavy validation logic, and secure post-login functionality for large-scale public-sector use.
Java Python TypeScript JavaScript SQL C# MATLAB
Spring Boot Spring Data JPA REST APIs CAP Struts2
React TypeScript Vite Tailwind CSS styled-components Fiori Elements HTML CSS
SQL H2 MySQL S/4 HANA
GPT Integration Machine Learning Neural Networks Data Mining
SAP BTP Google Cloud Run Firebase Hosting GitHub Pages Jenkins Grafana Dynatrace Kibana
JUnit Mockito MockWebServer SonarQube Fortify Mend
Tamarin Prover JavaFX Swing Unity ZXing
I’m especially interested in intelligent systems that are not only clever, but also inspectable, dependable, and useful in the real world.
That usually shows up in three recurring themes across my work:
- Formal reasoning and security modelling, especially where human behaviour changes the system itself
- AI-assisted software development that improves delivery without losing engineering discipline
- Procedural and experimental systems that reveal how software behaves under pressure, at scale, or in motion
Outside product and research work, I keep building things that stretch a different muscle — game prototypes, ticketing systems, failure test harnesses, and portfolio experiments.
Shipping curiosity in public is how I keep learning honestly.