David Darais

David Darais is an Adjunct Assistant Professor at the University of Vermont's College of Engineering and Mathematical Sciences, and Principal Scientist at Galois, Inc. His research bridges programming languages, security, and formal verification.

He holds a Ph.D. from the University of Maryland (2017), an M.S. from Harvard University, and a B.S. from the University of Utah. At Galois, he develops tools for high-assurance software in security-sensitive domains.

His research creates programming languages and analysis frameworks for differential privacy, secure computation, and verified networking. Key innovations include the Duet language for privacy enforcement and Proof-Carrying Network Code for secure SDNs. He leads DARPA/NSF-funded projects on zero-knowledge proofs and privacy-preserving AI.

He has advised 9+ graduate/undergraduate students on verification and privacy. Courses taught include Programming Languages (CS 225) and Software Verification (CS 295A).