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. 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 which help programmers build reliable software. David's tools are designed specifically for security-sensitive settings, and when applied, result in systems which are immune to large classes of defects. David received his BS from the University of Utah, MS from Harvard University, Ph.D. 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 which help programmers build reliable software. David's tools are designed specifically for security-sensitive settings, and when applied, result in systems which are immune to large classes of defects. David's tools are built using state-of-the-art techniques, including static and dynamic program analysis, type checking, mechanized verification, differential privacy and secure multiparty computation. David builds tools which secure systems against a wide range of adversaries, ranging from directly malicious actors, to the well-intended software developer who accidentally misused security-relevant technology, such as cryptography or differential privacy. To combat these adversaries, David co-designs programming languages in concert with verification tools to combat these defects, while also maintaining a usable, general-purpose programming environment for application developers. David received his BS from the University of Utah, MS from Harvard University, Ph.D. from the University of Maryland, and was previously an Assistant Professor at the University of Vermont before joining Galois, Inc..

Links