Adharsh Kamath

About

I’m a Pre-doctoral Research Fellow at Microsoft Research India (opens in new tab) working with Dr. Akash Lal (opens in new tab) and Dr. Aseem Rastogi (opens in new tab) on program verification and software testing.
During my undergraduate studies, I worked with Prof. KC Sivaramakrishnan (opens in new tab) and Prof. Kartik Nagar (opens in new tab) on verifying functional correctness and convergence of Mergeable Replicated Data Types, using F* (See Peepul (opens in new tab)). Previously I also worked with Prof. KC Sivarmakrishnan on ParaFuzz (opens in new tab), a coverage-guided and property-based fuzz-testing tool for Multicore OCaml programs. I graduated from NITK Surathkal (opens in new tab) in 2022.
I’m broadly interested in developing tools and techniques that simplify the process of writing correct and performant computer programs. My focus is on addressing problems that mostly lie under the collective umbrellas of Programming Languages, Formal Methods, and Software Engineering research.