Anand Keshavan
Principal Engineer At Postman Labs at extentia
Pune, Maharashtra, India
Summary
👤
Senior🎓
Top SchoolAnand Keshavan is a Principal Engineer at Postman Labs and a polyglot technologist with over a decade of hands-on experience designing scalable, fault-tolerant systems and mentoring engineering teams. He blends deep computer science roots—compilers, formal specification (TLA+), concurrency and functional programming—with practical product re-architecture work, including migrating a major charting library to JavaScript and modernizing large-scale gaming and mobile OS stacks. Author of two books on functional programming and an active lifelong researcher, he experiments with Rust/LLVM compilers, language design, garbage collectors and LLM tooling like SageMaker and HuggingFace fine-tuning. Anand has a rare track record spanning early innovations (SLR parser generators, NLP engines, early MFA for wireless payments) to leading semiconductor and services practices, and he equally enjoys building teams and reference implementations. Based in Pune, he combines strategic leadership from past executive roles with continued, low-level systems craftsmanship—often exploring projects that bridge formal verification and practical product delivery.
11 years of coding experience
30 years of employment as a software developer
B. Com ( Hons), Business, B. Com ( Hons), Business at University of Delhi
Github Skills (26)
javascript9
ifs9
typescript9
type-check7
typechecker7
superset6
loops6
tla5
verification4
grammars4
parser4
gleam4
combinator4
specification4
formal-methods3
Programming languages (3)
Github contributions (5)
akkeshavan/Lisp-style-lists-in-JS-ES6-and-ES5
Nov 2014 - Mar 2020
Contributions:4 commits, 1 push in 5 years 4 months
akkeshavan/If-Loop-Less
Nov 2020 - Dec 2021
Programming without IFs and LOOPS
Contributions:14 commits, 1 PR, 12 pushes in 1 year 1 month
loopsifs
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.