I’m Ratna — an Aerospace & Computer Science major at the University of Colorado Boulder. I design production-grade agentic systems, build high-performance backends, and prototype flight-adjacent simulations that push the edge of aerospace and blockchain technology.
Auctions • Escrow • zk In-Region Proof
Aerospace × Blockchain × AI — pioneering systems that are fast, intelligent, and built to last.
GNC, orbital mechanics, MPC — simulation-first thinking with reliability and constraints in mind.
Agentic workflows, GraphRAG, low-latency services, and structured evals/guardrails.
Smart contracts, on-chain data, and verifiable program state for trust-minimized apps.
Filter by domain or search by keyword.
On-chain marketplace for satellite imaging/capture tasks with verifiable SLAs; escrow, dispute resolution, and operator reputation.
Signed telemetry anchored on-chain as attestations; anomaly reports earn bounties with AI-assisted triage and evaluator scoring.
Latency/slippage-aware pathing across venues with pre-trade risk checks, position/netting, and circuit-breakers; backtests on historical flows.
Policy-based routing with canary + auto-rollback; sustained 520 QPS, p95 880 ms; 30% lower cost vs single-model baseline; OTel + Grafana dashboards.
Indexes 5.2M LOC / 62M tokens with 48 s incremental updates; cache hit 99.2%; search p95 150 ms at 500 QPS.
O(1) cancel/replace; arena allocator + cache-friendly queues. Bench: 4.2M orders/s, p50 2.1 µs, p99 10.8 µs (50M events).
ERC-721 badges that update as milestones are hit; frontend renders live SVG from on-chain state.
State estimation and orbital transfer targeting; ascent/attitude profiles visualization.
Processed experimental data to compute lift; added uncertainty analysis via Monte Carlo.
Roller-coaster simulator modeling pilot G-forces and dynamic loads with banked turns and zero-G parabola.
Compared Euler and RK4 ODE solutions against analytics; step-wise RMSE analysis and plots.
Simulated and analyzed locomotive crank dynamics with parameter sweeps.
I’m an Aerospace & Computer Science major at the University of Colorado Boulder, driven to explore the intersection of advanced computing, quantitative engineering, and aerospace innovation. I focus on building resilient agentic systems, ultra-fast backends, and flight-grade simulations that bridge digital and physical frontiers.