AA Resume

Open to SWE internships · Jaipur, India · open to remote

AnmolAdwani

I build AI agents and distributed systems from the ground up, then try hard to break them.

CS student at LNMIIT, Jaipur. Raft orchestrators, sharded databases, a Rust kernel, and agents that turn GitHub issues into verified pull requests.

Resume GitHub LinkedIn
Anmol Adwani leader elected · term 7
13
projects shipped with code and demos
0
lost writes in 200k+ under chaos (AegisDB)
3.2s
self-healing after a leader crash (NebulaOS)
96%
outage predictions correct (ShadowTwin)

01 / Work

Selected projects

Each one links to its code. Most have a recorded demo you can play right here.

AI Agents · 2026

ForgeMind AI

An autonomous agent that turns a GitHub issue into a verified pull request.

6 / 7
tasks resolved on hidden tests
22
passing tests in CI
How it works

Problem

Most AI coding tools stop at suggesting code. Nothing reproduces the bug, nothing proves the fix, and nobody can see why the change was made.

What I built

  • Grounds every decision in the real repo with an AST symbol index and a BM25 search corpus.
  • Reproduces the bug as a failing test before touching source, then localizes the fault with spectrum-based fault localization (Ochiai).
  • Two repair engines: a Claude tool-using agent and an offline search-based repair engine.
  • Accepts a patch only if the reproduction passes and the full suite stays green in a sandbox, then opens a PR with the regression test and root-cause note.
  • Python
  • Claude API
  • BM25
  • AST indexing
  • Sandboxing
  • GitHub API
Code

Distributed Systems · 2026

NebulaOS

A self-healing cloud orchestrator, a small Kubernetes written from scratch in Go.

0.57s
to elect a new leader
3.19s
full recovery after the leader is killed
730 ops/s
replicated writes, p99 38 ms
How it works

Problem

Most engineers only see Kubernetes through YAML. I wanted every step from "run 3 replicas" to "a machine died at 3 a.m. and nobody woke up" to be code I could read.

What I built

  • Raft consensus from zero: pre-vote, check-quorum, CRC-checked durable log, snapshots and leader group commit.
  • A kube-scheduler style filter-and-score scheduler, plus HPA-style autoscaling and node draining.
  • A heartbeat failure detector that reschedules lost workloads on healthy nodes and measures recovery time.
  • gRPC between nodes, Docker and containerd runtimes, a live React dashboard, Prometheus and Grafana.
  • Go
  • Raft
  • gRPC
  • Docker
  • containerd
  • React
  • Prometheus
Code Write-up

Distributed Systems · 2026

NebulaChaos

A Jepsen-style correctness lab that made my Raft cluster lie, then proved the fixes.

3
real bugs found and fixed
284,732
operations, all linearizable after fixes
20,000
histories cross-checked against Porcupine
How it works

Problem

Chaos tests usually ask "did it come back up?". The harder question is safety: did the system ever tell a client something that wasn't true?

What I built

  • Runs five real NebulaOS processes with a fault proxy on all 20 network links: partitions, SIGSTOP pauses, crashes, power loss and bit rot.
  • Records every read, write and compare-and-set, then checks the history with my own linearizability checker (Wing–Gong–Lowe).
  • Shrinks every failure to a 2–4 operation counterexample. Found and fixed stale reads, bit-rot data loss and double-applied commands.
  • Go
  • Linearizability
  • Fault injection
  • Raft
  • Porcupine
Code

Distributed Systems · 2026

AegisDB

A fault-tolerant, sharded, linearizable key-value database built from scratch in Go.

0
lost writes out of 200k+ acknowledged under chaos
14,444
ops/s with fsync on every commit
~1s
to elect a leader after kill -9
How it works

Problem

Add replicas to a database and you face split brain, lost acknowledged writes, stale reads and torn logs. AegisDB is designed around each of these failures.

What I built

  • Multi-Raft sharding with a consistent-hash ring and rendezvous hashing, with no coordinator.
  • PreVote, CheckQuorum and ReadIndex reads with a leader-lease fast path.
  • A CRC32-C write-ahead log that truncates a torn tail but refuses to replay past bit rot.
  • Exactly-once retries through client sessions, plus a lab with kill/partition buttons and a chaos monkey.
  • Go
  • Multi-Raft
  • WAL
  • Prometheus
  • Porcupine
Code

More things I've built

ClearTrade AI GenAI tool that flags market misinformation and pump-and-dump signals for retail investors. Cleared rounds 1 and 2 of the Securities Market Hackathon 2025 (BSE, SEBI, NSDL, CDSL, KFintech).React · Flask · Gemini

02 / Experience

Where I've worked

  1. May 2026 – Present · Remote

    Software Engineer Intern

    Dream Telecommunication Pvt. Ltd.

    • Build API-integrated product workflows with TypeScript, React, Node.js and REST, turning requirements into testable features.
    • Prototype GenAI-assisted workflows, documenting expected behaviour, edge cases and failure modes before iterating.
    • Debug frontend, API and data-flow issues in short implementation cycles.

  2. 2026 – Present · Remote

    Independent Researcher, Wind Power Forecasting

    Self-directed

    • Probabilistic post-processing of GB day-ahead wind forecasts: bias correction, quantile regression and conformal prediction for calibrated P10–P90 intervals.
    • Evaluated with pinball loss and CRPS under strict no-look-ahead back-testing. Manuscript in preparation.

  3. May 2025 – Jul 2025 · Remote

    AI & IoT Solutions Intern

    Opsight AI

    • Built API-connected data views and operational dashboards for an industrial AIoT SaaS product.
    • Turned shop-floor sensor signals into decision-ready interfaces for manufacturing teams.

03 / About

Toolbox & beyond code

Skills

Languages

  • Go
  • Python
  • Rust
  • TypeScript
  • JavaScript
  • SQL
  • C++

AI & LLMs

  • AI agents
  • Tool calling
  • RAG
  • Evals & guardrails
  • Claude, OpenAI, Gemini, Groq
  • PyTorch

Distributed systems

  • Raft
  • gRPC
  • Write-ahead logs
  • Linearizability testing
  • Kubernetes
  • Docker

Web & data

  • React
  • Next.js
  • Node.js
  • FastAPI
  • Flask
  • PostgreSQL + pgvector
  • Prometheus

Education

The LNM Institute of Information Technology (LNMIIT), JaipurB.Tech + M.Tech Dual Degree, Computer ScienceExpected May 2028

Leadership & achievements

Associate General Secretary, Science & TechnologyLNMIITManaged 6+ technical clubs and coordinated technical events and workshops.
Student Coordinator, Alumni AssociationLNMIIT · 2025–26Organised the ECHO Alumni Meet 2026 in under two weeks and the Bangalore chapter meet.
Securities Market Hackathon 2025BSE · SEBI · NSDL · CDSL · KFintechBuilt ClearTrade AI with a teammate and cleared rounds 1 and 2.
Problem solvingLeetCode250+ data structures and algorithms problems solved.

04 / Contact

Let's build something
that doesn't fall over.

I'm looking for software engineering internships where I can learn from strong engineers and build things that matter.

anmoladwani100@gmail.com Resume LinkedIn GitHub