I lead the Distributed Computing and Verification (DC&V) Lab at Dartmouth, where my research focuses on designing simple, fast, scalable, and reliable solutions to challenging multidisciplinary problems. My work has touched several traditional areas of inquiry, including distributed computing, algorithms and data structures, verification, relativistic physics, economics, security, and machine learning.

Recently, my work has focused on theoretically efficient and practically fast multiprocessor algorithms and concurrent data structures, machine-verification of distributed and multiprocessor algorithms, and relativistic distributed computing. In 2024, our work won a Google Healthys Code Health Platinum Award for Formal Verification of Multiprocessor Algorithms that Underlie Large-Scale Clustering. In 2025, our work won a Google Healthys Code Health Gold Award for Machine-Certified Verification of Fast Concurrent Hash Tables.

I am also interested in the history of mathematics and computing, and in scientific expression, dissemination, and education—including the expression of scientific knowledge and research in different languages. I wrote one of the fourteen chapters of MIT Ph.D. thesis on multiprocessor algorithms in Telugu with an abstract in Sanskrit, and introduced The Samskritam Technical Lexicon Project for easing scientific expression in Indian languages.