Siddhartha Visveswara Jayanti

|Assistant Professor
Academic Appointments

Assistant Professor

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.

Contact

Engineer and Comp Science Ctr, Room 104
HB 6211

Department(s)

Computer Science

Education

  • PhD Massachusetts Institute of Technology
  • SM Massachusetts Institute of Technology
  • BSE Princeton University

Selected 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. 

+ View more