David Park is the CEO & Co-Founder of Narada AI, leading the company’s mission to revolutionize enterprise automation with Large Action Models. As a BS/MS/PhD Candidate in Computer Science at Stanford University, Dave was a Terman Award winner and NSF Fellowship recipient. He has authored numerous publications in software verification and has a deep background in enterprise automation and transformation. Dave co-founded and bootstrapped Coverity out of Stanford, driving the company to a $375M acquisition. Now, at Narada, he is bringing expertise and vision to transform enterprise automation with agentic AI, based on breakthrough research out of the UC Berkeley AI Research Lab.