name: Himanshu
role: B.Tech CSE (AI & ML) @ Vellore Institute of Technology · CGPA 9.01/10
focus: Distributed systems · Backend internals · Applied ML · Causal measurement
currently: Writing C++17 concurrency primitives and LLM evaluation harnesses
philosophy: "A benchmark you didn't run is a claim you can't defend."
reach_me: hlamba24191@gmail.comI build systems from the primitive up — a DNS resolver that hand-encodes the binary wire format over raw UDP sockets rather than importing a library, an Operational Transform engine proven across 30,000 randomized multi-client scenarios, a cache whose lock contention I found with a profiler before I fixed it with striping.
The thread running through all of it: measure the thing, then say the thing. Every number on this profile came out of a benchmark, a test suite, or a confidence interval — not a README written after the fact.
The unbadgeable half — click to expand
| Domain | What I actually work with |
|---|---|
| Distributed Systems | Consistent hashing · Sharding · Replication · Heartbeat failure detection · Eventual consistency · Operational Transform · Cache-line-aligned lock striping |
| Concurrency | POSIX threads · Mutex contention profiling · ThreadSanitizer · Lock-free reasoning · False-sharing elimination |
| Networking | Raw UDP/TCP sockets · Binary wire-format encoding · WebSockets · Iterative & recursive resolution · REST API design |
| Data Engineering | Composite B-tree indexing · Query optimization · Schema design · Append-only logs · Compare-and-set versioning · TTL-aware caching |
| Applied ML | QLoRA / PEFT fine-tuning · RAG pipelines · FAISS vector retrieval · FinBERT sentiment · LSTM forecasting · Gradient boosting · Probability calibration |
| Measurement Science | Randomized holdout experiments · Wilson score intervals · Power analysis · Forward-in-time validation · Bias detection · Backtesting |
| Testing | Catch2 · pytest · Property/randomized testing · Load testing · Containerized CI suites |
Eight self-directed builds. Every metric below is reproduced from a test suite, a benchmark harness, or a reported confidence interval.
|
A 4,700-line in-memory key-value cache with zero runtime dependencies.
|
A 6,878-line DNS resolution backend that hand-encodes the binary wire format — no DNS library.
|
|
A real-time collaborative editor with an Operational Transform engine written from scratch.
|
Trust-and-safety infrastructure for AI agents — Sanskrit pramāṇa, "proof."
|
|
An AI revenue-recovery agent built for Razorpay AI Hackathon — Track 03.
|
A hybrid financial forecasting and decision-support agent.
|
|
Production-shaped vector retrieval over 19,125 documents with a custom semantic cache.
|
Portfolio risk forecasting across 268,125 monthly records over 9,885 loans.
|
Also in the workshop: a local AI chat assistant serving Gemma-4-12B on Apple Silicon through an OpenAI-compatible API at 15–17 tok/sec, plus CNN and regression notebooks from the ML fundamentals track.
|
|
| 354 | 9.01 | 1.19M | 8 |
| LeetCode problems solved | CGPA / 10 | test assertions in one repo | shipped systems |
| 3.30M | 1,297× | ₹2.11 Cr | Top 5 |
| cache ops/sec achieved | cache speedup | payment failures analyzed | national hackathon finish |
354 solved — 180 Medium, 152 Easy, 22 Hard. Medium outnumbers Easy, which is the ratio I've been deliberately pushing toward.
Contribution history is public and speaks for itself — the engineering detail lives in the repos above.
| Certification | Issuer |
|---|---|
| Microsoft Certified: Fabric Data Engineer Associate | Microsoft |
| Microsoft Certified: Azure Data Fundamentals | Microsoft |
| Oracle Cloud Infrastructure 2025 — AI Foundations Associate | Oracle |
| Oracle Cloud Infrastructure 2025 Certified Foundations Associate | Oracle |
| Google IT Support Professional Certificate | |
| Applied Machine Learning in Python | University of Michigan · Coursera |
| Generative AI using IBM watsonx | IBM |
- Top 5 finish at HackSethu — a national-level hackathon — delivering a working solution under real-world constraints.
- Core Member, Google Developer Group (GDG) — organized a college-fest hackathon end to end and drive community technical initiatives.
- National Cadet Corps cadet — structured drills and camps; where the discipline behind the benchmarking habit actually came from.
- 354 LeetCode problems solved — 180 Medium, 152 Easy, 22 Hard — across arrays, trees, graphs, hashing, recursion and dynamic programming.
Vellore Institute of Technology, Bhopal — B.Tech, Computer Science (AI & ML) · CGPA 9.01/10 · Sept 2023 – May 2027
Birla School, Pilani — CBSE AISSCE (Class XII) · 93.6% · 2022