Registered user since Thu 13 Nov 2014
Name:David Darais
Country:United States
Affiliation:Stealth Software Technologies
Personal website: http://david.darais.com
X (Twitter): https://x.com/daviddarais
GitHub: https://github.com/davdar
Research interests:Type Systems, Program Analysis, Mechanized Proofs, Differential Privacy, Secure Multiparty Computation
Contributions
Using general profile