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

Short Bio

David is a Principal Scientist at Galois, Inc., where he builds programming languages and analysis tools which help programmers build reliable software. In particular, these languages and tools are designed 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.

Medium Bio

David is a Principal Scientist at Galois, Inc., where he builds programming languages and analysis tools which help programmers build reliable software. In particular, these languages and tools are designed for security-sensitive settings, and when applied, result in systems which are immune to large classes of defects. David leverages state-of-the-art approaches, include program analysis, type checking, mechanized verification, differential privacy and secure multiparty computation. David considers a strong adversary when securing systems: the well-intended developer who accidentally misused security-relevant technology, such as cryptography or differential privacy. To combat this adversary, David co-designs programming languages in concert with verification tools to combat these defects, while also maintaining a usable, general-purpose programming environment for the developer. 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.

Links