David's research focuses on tools for achieving highly reliable software for critical and security-sensitive systems. David received a BS in Computer Science from University of Utah, an MS in Computer Science from Harvard University, and a PhD in Computer Science from University of Maryland.