- Backend-first Full Stack with a love for TypeScript, Kotlin, and clean architecture
- B.Sc. in CS @ KIU (Full Scholarship, GPA 3.5)
- Shipping production systems with Node.js, Fastify, Prisma, PostgreSQL, Docker, AWS, Kubernetes
- Passionate about program synthesis, formal methods, and LLM tooling
From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms (2025)
- π GitHub Pages preview: program-syn-thesis
- π arXiv: arXiv:2508.00013
- Backend Developer @ Omno
Node.js, TypeScript, Fastify, Kotlin, Prisma, PostgreSQL, Docker, AWS, Kubernetes - Software Developer & Research Intern @ CNRS France
Python, Flask, Satellite Algorithms - Full Stack Dev @ Creaton
Web3, NFT Marketplace - Frontend Dev @ Cartune
Next.js, Redux, TypeScript
- πΈ Krypto β Real-time crypto tracker with Firebase authentication and CoinGecko API
- π Uniswap Clone β Simulated decentralized exchange with Ethereum smart contracts
- π€ Robot Motion AI β Autonomous navigation system using ROS and Python



