- University of Maryland, Ph.D.
- Harvard University, M.S
- University of Utah, B.S.
Department of Computer Science
BIO
David is Adjunct Assistant Professor at ¶¶Òõ̽̽ and Principal Scientist at Galois, Inc., an R&D lab that specializes in secure software development. David builds new programming languages and analysis tools that help programmers build reliable software for security-sensitive and privacy-sensitive applications. In particular, David's tools focus on symbolic software analysis methods to prove the absence of entire classes of defects, i.e., not just fixing the next bug, but showing the absence of the last bug.
Publications
Area(s) of expertise
Programming analysis, mechanized proofs, software defined networking, differential privacy, secure multiparty computation.
Bio
David is Adjunct Assistant Professor at ¶¶Òõ̽̽ and Principal Scientist at Galois, Inc., an R&D lab that specializes in secure software development. David builds new programming languages and analysis tools that help programmers build reliable software for security-sensitive and privacy-sensitive applications. In particular, David's tools focus on symbolic software analysis methods to prove the absence of entire classes of defects, i.e., not just fixing the next bug, but showing the absence of the last bug.
Publications
Areas of Expertise
Programming analysis, mechanized proofs, software defined networking, differential privacy, secure multiparty computation.