David Darais
Principal Scientist
Galois, Inc.
darais@galois.com
@daviddarais
@davdar
CV
when I'm free

I'm currently a Principal Scientist at Galois, Inc.. My research addresses problems in software reliability through advances in program analysis, computer-checkable proofs, and their combination. Recently I have been working on new programming languages for data privacy and secure computation, and new verification techniques for software defined networking. I used to help run and still actively collaborate with the UVM PLAID Lab.

Publications

Theses

Drafts

Talks

Professional Activities

Teaching

Current Students

Past Students

Funded Projects

Short Bio

David is a Principal Scientist at Galois, Inc., where he builds programming languages and analysis tools that help programmers build reliable software. These tools are designed specifically for security-sensitive and privacy-sensitive settings, and result in systems that are immune to large classes of security and privacy defects. David received his BS from the University of Utah, MS from Harvard University, PhD from the University of Maryland, and was previously an Assistant Professor at the University of Vermont before joining Galois, Inc..

Medium Bio

David is a Principal Scientist at Galois, Inc., where he builds programming languages and analysis tools that help programmers build reliable software. These tools are designed specifically for security-sensitive and privacy-sensitive settings, and result in systems that are immune to large classes of security and privacy defects. David approaches building better systems through a number of methods, including static and dynamic program analysis, type systems, mechanized verification, differential privacy and secure multiparty computation. David builds tools that secure systems against a wide range of adversaries, ranging from directly malicious actors, to the well-intended software developer who accidentally misused security-or-privacy-relevant technology, such as cryptography or differential privacy. To combat these adversaries, David co-designs programming languages in concert with verification tools while also maintaining a usable, high-level, and general-purpose programming environment for application developers. David received his BS from the University of Utah, MS from Harvard University, PhD from the University of Maryland, and was previously an Assistant Professor at the University of Vermont before joining Galois, Inc..

Links