Ranjan Rajagopalan

Co-founder of Pramaana Labs, an artificial intelligence company based in Palo Alto.

Co-founderPalo AltoArtificial Intelligence

Founded

2025

Palo Alto, United States; research presence in Bengaluru, India

Raised to date

$27M

1 round on record

Latest round

Seed

$27M · Jun 2026

About

Ranjan Rajagopalan is Co-founder of Pramaana Labs, an artificial intelligence company based in Palo Alto, founded in 2025. Pramaana Labs's most recent disclosed round was a Seed of $27M in Jun 2026.

Compiled from StartupFox records · updates as coverage is published

Company

Est. 2025

Pramaana Labs

Artificial Intelligence · Palo Alto · Active

Pramaana Labs builds a formal verification layer for AI. It converts statutes, regulations and scientific rules into machine-checkable logic using a LEAN-style proof system, so that outputs in high-stakes domains such as tax, law, finance and healthcare ship with mathematical proof of correctness rather than probabilistic confidence.

Funding

Jun 2026Seed$27MKhosla Ventures (lead)

Company profile →1 round on record

Also building Pramaana Labs

KRKrishnan RaghavanCo-founder→SGSanjay Ganapathy SubramaniamCo-founder→

Coverage

1 story

Funding · 18 Jun 2026 · 3 min read

Pramaana Labs Raises $27 Million Seed Round Led by Khosla Ventures