Dr. David Darais
Principal Scientist
David Darais is a Principal Scientist at Stealth, specializing in formal methods, mechanized proofs, software verification, programming languages and compilers, and their applications to networking, data privacy and cryptography. David is co-author of NIST’s Special Publication “Guidelines for Evaluating Differential Privacy Guarantees”, and has received the Caspar Bowden PET award and the ACM SIGPLAN distinguished paper award. David was previously Principal Scientist at Galois and Assistant Professor at University of Vermont, and he received his BS from University of Utah, MS from Harvard and PhD from University of Maryland, College Park.