> For the complete documentation index, see [llms.txt](https://nilesh.trivedi.link/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://nilesh.trivedi.link/master.md).

# About

Hi! 👋\
\
I’m a [deepstack software engineer](https://twitter.com/nileshtrivedi/status/1714573851567513788) - with 20+ years of experience building scalable systems in AI and machine learning, and a little bit of scientific computing, hardware, and consumer/enterprise software. After my engineering education from IIT Kharagpur & MBA from IIM Lucknow, I have worked with tech orgs like Meta (UK), [Foresight Institute](https://foresight.org/), and various startups as senior engineer and engineering leader (CTO / Head of Engineering) roles. Last year, I participated in [Lossfunk](https://lossfunk.com/)'s AI research residency program to build AI scientist agents. You can see some of my past work [here](/work.md).

I like to learn science and mathematics deeply, [make music](/music.md), and [create open-source software](https://github.com/nileshtrivedi). I particularly enjoyed learning category theory, formal verification using dependent type theories, modeling and simulation, geometric algebra, and theoretical physics. I hope to understand General Relativity *really well* before the year 2035.

If you wish to contact me about something, please send me a message on [Twitter](https://x.com/nileshtrivedi) or [ActivityPub](https://fosstodon.org/@nilesh) or [BlueSky](https://bsky.app/profile/nilesh.trivedi.link).

### What am I doing now?

Past few years, I have been building [QwikBuild](https://qwikbuild.com/) - an autonomous multi-agent AI coding platform. I had lived in the UK for a year, but am currently based in Bangalore, India.

Lately, I've been thinking about building autonomous science by AI agents, grounded by verification via simulation and proof-checking. Towards this, I built an [ai-scientist](https://github.com/nileshtrivedi/ai-scientist-demo) and [lean-detective](https://github.com/nileshtrivedi/lean-detective).

In Feb 2025, I started building [isFixable.com](https://isfixable.com) - a crowdsourced wiki to document repair-friendliness of various consumer hardware products in India. I was blown away by the [positive response on social media](https://x.com/nileshtrivedi/status/1880923067922456913).

In November 2025, I created [swadeshialternative.com ](https://www.swadeshialternative.com/)- a curated catalogue of India-made alternative to global software products.

I've also been teaching math, piano and guitar to my 13yo daughter.