David Darais
Assistant Professor
Computer Science
University of Vermont

82 University Place
Innovation Building, E456
Burlington, VT 05405

david.darais@uvm.edu
@daviddarais Twitter Logo
@davdar Github Logo

★ I am looking for PhD students to work with me in programming languages, secure computation, and/or data privacy.

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 help run the UVM PLAID Lab.

Teaching

Current Students

Past Students

Publications

Theses

Workshops

Drafts

Talks

Professional Activities

Short Bio

David Darais is an Assistant Professor at the University of Vermont. David's research focuses on tools for achieving reliable software in critical, security-sensitive, and privacy-sensitive systems. David received his BS, MS and PhD from University of Utah, Harvard University and University of Maryland.

Links

My CV