David Park

David Park is the CEO & Co-Founder of Narada AI, leading the company’s mission to revolutionize enterprise automation with Large Action Models. Dave earned his undergraduate and graduate degrees in Computer Science from Stanford University where he was a Terman Engineering Award winner and NSF Fellowship recipient. He has authored numerous publications in formal verification and has a deep background in automation. Before starting Narada AI, Dave co-founded and bootstrapped Coverity out of Stanford, driving the company to a $375M acquisition. Now, at Narada, he is bringing the same expertise and vision to transform enterprise automation with agentic AI based on new research from the UC Berkeley AI Research Lab.