Siddhartha Visveswara Jayanti
Assistant Professor
Appointments
Assistant Professor
Biography
I am an Assistant Professor of computer science at Dartmouth College, where I lead the Distributed Computing and Verification Lab. My research spans algorithms, verification, and applications with a focus on designing simple, fast, scalable, and reliable solutions to challenging multidisciplinary problems. My work has touched several areas of inquiry, including distributed computing, algorithms, verification, relativistic physics, economics, security, and machine learning. Prior to Dartmouth, I worked as a research scientist at Google Research and Artificial Intelligence, where I designed and deployed fast and formally verified algorithms for large-scale data processing and clustering.
I received my PhD from MIT's Computer Science and Artificial Intelligence, advised by Julian Shun. Prior to that, I received an MS from MIT, advised by Costis Daskalakis, and a BSE from Princeton University, where my thesis was advised by Bob Tarjan and my research on mathematics in Sanskrit was advised by Manjul Bhargava.
I am a faculty advisor to Dartmouth Shanti, the Hindu Student Organization of Dartmouth. I am a Sakahari (Hindu Strict Vegetarian), and I aspire to contribute to the understanding of dharma and experience of ānanda.
I am passionate about Telugu and Sanskrit. I wrote the first modern computer science research paper in Telugu, which is included in my MIT Ph.D. thesis with an abstract in Sanskrit. I was honored as the Salutatorian at the inaugural Hindu Students Council Commencement where I delivered a speech in Sanskrit addressing graduating students from around the world. I learnt Sanskrit through Samskirta Bharati's SAFL, at Princeton, and at MIT as the president of MIT Samskritam.
Education
PhD Massachusetts Institute of Technology
SM Massachusetts Institute of Technology
BSE Princeton University
Publications
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. (Distinguished Paper Award)
Concurrent Disjoint Set Union. Siddhartha Jayanti and Robert Tarjan. Distributed Computing 2021.
A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability. 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. ACM EC 2020 and Games and Economic Behavior (GEB) 2021.
The Samskritam Technical Lexicon Project: A Shared STEM Lexicon for Indian Languages and సామాన్య జాగృతి-పరిష్కారం. Siddhartha Jayanti (సిద్ధార్థ జయంతి).
Contact