> 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 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).

From 2023 to 2026, I co-founded and built [QwikBuild](https://qwikbuild.com/) - an autonomous multi-agent AI coding platform.

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.

I helped start [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).

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?

I have now started [AutoScience](https://autoscience.dev/), a company to accelerate discoveries in materials and chemicals by leveraging physics-informed machine learning and AI agents, grounded by verification via simulations and proof-checking. I had earlier built an [ai-scientist](https://github.com/nileshtrivedi/ai-scientist-demo) and [lean-detective](https://github.com/nileshtrivedi/lean-detective). For AutoScience, I am fortunate to be supported some of the best minds in computational materials science from academia and industry, as team members, scientific advisors and angel investors.

I live in Bangalore with my wife and daughter.