Backend Developer with hands-on experience building scalable systems using Java, Spring Boot, Redis, Kafka, and PostgreSQL. Active open-source contributor with 29+ merged PRs to production codebases (Checkstyle, Apache Pulsar). Strong problem-solver with 330+ competitive programming solutions across Codeforces and LeetCode.
- ๐ B.Tech in Computer Science โ College of Engineering Roorkee (2025)
- ๐ฅ Passionate about Microservices, System Design, Cloud, and Clean Code
- ๐ Smart India Hackathon 2023 โ Top 16 Finalist
- ๐ซ Reach me at praveen729483@gmail.com
Languages
Backend & Frameworks
Databases
DevOps & Testing
๐ฅ Virality Engine โ Spring Boot ยท Redis ยท PostgreSQL ยท Docker
Redis-based social media virality simulation with bot guardrails and a real-time notification engine
- Built a stateless backend with Redis as real-time processor and PostgreSQL as source of truth, containerized via Docker
- Used Redis atomic operations (INCR, SETNX) to handle concurrency and prevent race conditions under 200+ concurrent requests with a strict 100-comment bot cap
- Developed a notification engine with throttling and batching via Redis lists and Spring Scheduler to prevent spam at high frequency
๐ฅ Patient Management System โ Spring Boot ยท gRPC ยท Kafka ยท Docker ยท AWS
Microservices-based patient records system with event-driven architecture
- Architected a microservices system handling 1,000+ patient records with PostgreSQL optimization and JPA tuning
- Implemented gRPC inter-service communication to reduce API latency; built Kafka event-driven architecture for async processing
- Developed an API Gateway for centralized routing and auth; containerized with Docker and AWS LocalStack; achieved coverage with JUnit
๐ฎ Minecraft Server Hosting Platform โ Spring Boot ยท Docker ยท JavaScript
Web-based control panel for Minecraft server lifecycle management
- Built REST APIs for server lifecycle management serving 10+ concurrent users with real-time monitoring via WebSockets
- Integrated Remote.it for secure remote access; containerized with Docker reducing deployment time significantly
โ Checkstyle โ Apr 2024 to Nov 2024
Java code quality tool used by 10,000+ developers worldwide
- Contributed 29+ merged PRs to the production codebase
- Resolved a critical 5-year-old indentation bug using ANTLR4 and AST analysis
- Fixed i18n bugs and improved documentation quality
๐ View all merged PRs
โ Apache Pulsar โ Jun 2024 to Jul 2024
Distributed messaging platform used by major tech companies
- Applied Checkstyle standards to 1,000+ test files, reducing code violations by 98%
- Improved maintainability for enterprise users of the platform
๐ View all merged PRs
| Achievement | Details |
|---|---|
| ๐ฅ Smart India Hackathon 2023 | Top 16 Finalist โ Led ML-based Medicinal Plant Identification app using TensorFlow & Flutter (85% accuracy) |
| ๐ Software Engineering Job Simulation | Forage (Nov 2024) โ Agile, Kafka, H2 Database, REST API development |
| ๐ป Competitive Programming | 280+ problems on Codeforces ยท 50+ problems on LeetCode |
|
|
|
|
|
|
|
|
|
|
|
|
I'm actively seeking Backend Developer or Software Engineer roles. If you have an opportunity or just want to connect โ I'd love to hear from you!
โญ If any of my projects or contributions were helpful, a star goes a long way!


