Co-founder of Pramaana Labs, an artificial intelligence company based in Palo Alto.
Krishnan Raghavan 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.
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.
Krishnan Raghavan is a Co-founder of Pramaana Labs, an artificial intelligence company based in Palo Alto, founded in 2025.
Pramaana Labs's founders and leadership on record at StartupFox are Ranjan Rajagopalan, Krishnan Raghavan and Sanjay Ganapathy Subramaniam.
Pramaana Labs has raised $27M across 1 disclosed round on record. The latest was a Seed of $27M in Jun 2026, with Khosla Ventures (lead).
Pramaana Labs is headquartered in Palo Alto, United States; research presence in Bengaluru, India.
StartupFox has published 1 story naming Krishnan Raghavan; the most recent is “Pramaana Labs Raises $27 Million Seed Round Led by Khosla Ventures”.
This profile is compiled by the StartupFox desk from company announcements, regulatory filings and our own reporting. If this is you, you can verify it with LinkedIn and edit it.
