Name:David Darais

Country:United States

Affiliation:Galois, Inc.

Research interests:Type Systems, Program Analysis, Mechanized Proofs, Differential Privacy, Secure Multiparty Computation