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.