‹Programming› 2023 (series) / David Darais
![David Darais](https://2023.programming-conference.org/getProfileImage/daviddarais/78ade7c8-8e59-430d-afdd-db9da0aaa83b/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
2023
‹Programming› 2023-profile
View general profile
View general profile