Name:Raghav Malik

Bio:

I am a formal methods researcher at Veridise where I build tools to automatically verify zero-knowledge proofs. I previously received my PhD from Purdue University working with Milind Kulkarni; my work combined compilation techniques with ideas from cryptography to make it easier to write efficient privacy-preserving programs.

Country:United States

Affiliation:Veridise Inc.

Research interests:Formal Methods, Compilers, Privacy-Preserving Computation, Verifiable Computation, Cryptography