At Veridise, Raghav is a Formal Methods Researcher focused on zero-knowledge tooling as part of the Picus team.
He brings years of research experience in the fields of compilers and programming languages for privacy-preserving computation. In addition to his academic work, Raghav also has industry experience from roles at Microsoft and Amazon.
Prior to joining Veridise, he designed a domain-specific language and compiler for secure MPC using Scala’s LMS framework, combining program analysis, cryptographic modeling, and custom type systems to enforce security guarantees across MPC protocols such as secret sharing, garbled circuits, and FHE.
Raghav is currently completing his PhD in Computer Science at Purdue University, expected in 2025, under the supervision of Prof. Milind Kulkarni in the Purdue Programming Languages Group (PurPL).
Experience overview
Experience
Rust, C++, Python, Haskell, Java, Scala, OCaml
Specialities
Zero-knowledge, Smart contracts, Infrastructure
Academic work
- Vectorized Secure Evaluation of Decision Forests (PLDI 2020)
- Coyote: A Compiler for Vectorizing Encrypted Arithmetic Circuits (ASPLOS 2023)
- COIL: Compiling Homomorphic Circuits With Control Flow
- Circuit Optimization Using Arithmetic Table Lookups
- An Approach to Parallel Scheduling for Vectorized Encrypted Arithmetic Circuits
- See more on Google Scholar