Entrepreneur and venture capital investor who co-founded Sun Microsystems in 1982 and Khosla Ventures in 2004, focusing on technology investments that also benefit society.
He invested in Google's founders because they had real resolve and their idea to organize the world's information made sense, even though its scale was uncertain.
Autoformalization converts ambiguous human intent into machine-checkable formal languages (Lean), enabling provably accurate AI for tax, legal, and healthcare where hallucinations are unacceptable; this addresses the specification, reliability, and verification gaps in current LLMs.
He bet that TCP/IP would become the internet protocol despite telcos favoring alternatives, seeing a large opportunity with few believers, which delivered massive returns.