- Winner of the Gemini & Firebase Buildathon 2025
- Constraint-optimization scheduling engine pairing LLM reasoning with Google OR-Tools.
- Solves real-time deadlock prevention and multi-variable track constraints.
- Stack:
TypeScript·Gemini AI·OR-Tools·Firebase· Demo
- Uptime monitor utilizing reinforcement learning (Thompson Sampling).
- Dynamically optimizes network bandwidth by polling flaky servers frequently and stable ones less often.
- Stack:
Python·FastAPI·PostgreSQL·Valkey
- Multi-agent enterprise product enrichment pipeline built for UniHack 2026.
- Automates onboarding verification, taxonomy schema alignment, and copywriting at scale.
- Stack:
Python·Gemini AI·FastAPI·Agentic AI
- Integrates OR-Tools with formal verification models in mCRL2.
- Proves the mathematical safety of optimal train scheduling sequences.
- Stack:
Python·OR-Tools·mCRL2·Formal Verification
- Conversational RAG-backed BI pipeline that processes CSVs, Excel, and PDFs.
- Generates interactive Plotly dashboards and PDF summaries from plain-English queries.
- Stack:
Python·FastAPI·Streamlit·LLaMA 3.3·ChromaDB· Demo

