Biography

I'm pursuing Ph.D. in the Department of Computer Science & Engineering at IIT Madras, Chennai, India, under the supervision of Dr. Kartik Nagar and Dr. KC Sivaramakrishnan. I work in Programming Language, Architecture and Compilers Education (PACE) Lab and am also a part of Functional Programming (FP) Launchpad, a center for systems research and development in Formal Methods.

My research areas include Formal Methods and Distributed Systems Verification. My current work revolves around Partial-Order Reduction using Symmetry Quotienting to tame combinatorial state-space explosion in asynchronous distributed system executions. I particularly verify and build the following:

1. Conflict-free Replicated Data Types (CRDTs) — systems that stay consistent even as replicas diverge.
2. Model-checking techniques — that make it practical to verify Strong Eventual Consistency in operation-based CRDT implementations.