utkarsh@cloud — boot
Operator
utkarsh@cloud
ONLINE
Cloud · Distributed Systems · Security
Utkarsh
Batham
I build infrastructure for the moment it has to keep working — when traffic spikes, a region drops, or a payment errors at 3am. CSE final-year, GATE AIR 6,271.
9.44/10
CGPA
AIR 6,271
GATE · 97th pct
7
Systems shipped
5/8
OSS PRs merged
The work, drawn as the architecture it actually is.
Five systems built for failure.
click any card → opens it in the shell ▸
Research · Preprint
Security Invariants in Distributed Cloud Systems
A TLA⁺-style formal model showing three RBAC authorization invariants that silently break under cross-service concurrency — with a counterexample trace and a proposed fix.
Zenodo DOI ↗
M.Sc track → 2027
Or just talk to it directly.
A real terminal. Type a command and hit enter — try help, ls, matrix, or sudo hire.
utkarsh@cloud — zsh — 96×32
➜ ~
The path so far.
05 — Live from GitHub
connecting…
Pulled from the API, not pasted.
@utkarsh698 · fetching repositories…
Notes from the build.
Built from scratch · IBM Plex + Space Grotesk · press ⌘K anywhere
all systems operational