![David Darais](https://popl25.sigplan.org/getProfileImage/daviddarais/84b89731-ca3c-4d97-9540-4ce4db09d1d1/small.jpg?1711456823000)
Registered user since Thu 13 Nov 2014
Name:David Darais
Country:United States
Affiliation:Galois
Personal website: http://david.darais.com
Research interests:Type Systems, Program Analysis, Mechanized Proofs, Differential Privacy, Secure Multiparty Computation
Contributions
Using general profile