Name:David Darais

Country:United States

Affiliation:Galois

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