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.
On Interplanetary and Relativistic Distributed Computing
Siddhartha Jayanti. ACM PODC 2025.
Formal Machine-Verification of MemSnap: An Efficient, Far-Future Linearizable Snapshot Algorithm
Siddhartha Jayanti and Ugur Yavuz. ACM SPAA 2025.
Siddhartha Jayanti and Robert Tarjan. Distributed Computing 2021.
Prasad Jayanti, Siddhartha Jayanti, Ugur Yavuz, and Lizzie Hernandez. ACM POPL 2024.
MemSnap: A Fast Adaptive Snapshot Algorithm for RMWable Shared Memory
Prasad Jayanti, Siddhartha Jayanti, and Sucharita Jayanti. ACM PODC 2024.
The Multiplayer Colonel Blotto Game.
Enric Boix-Adserà, Ben Edelman, and Siddhartha Jayanti. Games and Economic Behavior (GEB) 2021.
The Samskritam Technical Lexicon Project: A Shared STEM Lexicon for Indian Languages and సామాన్య జాగృతి-పరిష్కారం
Siddhartha Jayanti (సిద్ధార్థ జయంతి).
Dartmouth News: by Harini Barath
A Dartmouth professor ponders how algorithms might function across space.
Dartmouth News: by Allison Ebner
Working closely with faculty, students pursue ambitious research and creative projects.
MIT News: by Alex Shipps
Passionate about creating educational opportunities in India, PhD student Siddhartha Jayanti recently explored multiprocessor speed limits, in a paper written in the Indian language Telugu.
Jack Beecher '27
Paul Cherian '27
Chidiebube Enwereji '27
Dylan Thomas '27 (James O. Freedman Presidential Scholar)
Karun Ram
A.B. '25 (Salutatorian), Thesis: Machine Verification of Correctness for a Concurrent Union-Find Object (Awarded High Honors)