David Brumley

David co-founded ForAllSecure to automatically check and protect the world's software. ForAllSecure's products are based upon over 10 years of his research in program analysis. David is on leave as a tenured professor at Carnegie Mellon University, with appointments in Computer Science and Electrical and Computer Engineering. David's academic work has received the United States Presidential Early Career Award, a Sloan award, and numerous awards for publications in peer-reviewed venues.