About me
I'm a Research Fellow at
Microsoft Research India working with
Dr. Akash Lal on improving reliability in cloud services. Before this, I graduated from
NITK Surathkal in 2022.
During my undergraduate studies, I worked with
Dr. KC Sivaramakrishnan and
Dr. Kartik Nagar of IIT Madras on verifying Mergeable Replicated Data Types based on functional data structures, using F* (See
Peepul).
Previously I also worked with Dr. KC Sivarmakrishnan on
ParaFuzz, a fuzzer for Multicore OCaml programs.
My main interests lie in Distributed and Parallel Computing, Verification, Synthesis, and Optimization of Programs.