Rajashree Agrawal

Rajashree Agrawal is the co-founder of Theorem, a Y Combinator-backed technology startup focused on artificial intelligence and advanced software verification. She established the enterprise alongside co-founder Jason Gross to develop automated systems that make AI-generated coding trustworthy by default across complex environments. The startup utilizes rigorous program verification techniques, specifically focusing on program equivalence-driven development, to ensure the mathematical reliability of automated software engineering. Agrawal's strategic direction builds upon foundational industry expertise in verified code development, leveraging her partner's prior technical experience in deploying performant, verified code that currently secures trillions of HTTPS connections. Through her executive leadership at Theorem, she is actively addressing the core reliability limitations of modern generative artificial intelligence tools. Her current professional focus centers on bridging the gap between large language models and formal program verification to deliver highly secure, enterprise-grade software infrastructure.