# Ranjan Rajagopalan

Co-founder and CEO of Pramaana Labs, graduated from IIT Madras ('17), previously founded Astra, worked as a Propshift ML architect, and Google engineer; founded in February, used LEAN formal verification layer to eliminate AI illusions, received Khosla Ventures' lead investment in USD in April 27 million seeds (Source: Startup Rise, TechCrunch reproduced 2026-06) (2025, 2026, 6, 9).

Co-founder and CEO of Pramaana Labs, graduated from IIT Madras ('17), previously founded Astra, worked as a Propshift ML architect, and Google engineer; founded in February, used LEAN formal verification layer to eliminate AI illusions, received Khosla Ventures' lead investment in USD in April 27 million seeds (Source: Startup Rise, TechCrunch reproduced 2026-06) (2025, 2026, 6, 9).

Canonical: https://uniquebase.ai/people/ranjan-rajagopalan
Stable identifier: UB-P3629
Snapshot captured: 2026-10-22T00:48:04.883Z
English updated: 2026-10-22T03:03:35.181Z

## Connected profiles

- [Pramaana Labs](/companies/pramaana-labs)

## Sources

- No source links are available for this profile.