![David Darais](https://pldi21.sigplan.org/getProfileImage/daviddarais/c53c192f-e6c3-4877-8e39-bae37d7f6a41/small.jpg?1711456823000)
Registered user since Thu 13 Nov 2014
Name:David Darais
Country:United States
Affiliation:Galois, Inc.
Personal website: http://david.darais.com
Research interests:Type Systems, Program Analysis, Mechanized Proofs, Differential Privacy, Secure Multiparty Computation
Contributions
PLDI 2021-profile
View general profile
View general profile