Dr. Sathyanarayanan Srinivasan

Assistant Professor
Department of Computer Science and Engineering

Email

Educational Qualifications

  • Doctoral research in the field of Theoretical Computer Science, specifically on the design and analysis of distributed algorithms
  • PhD from National Institute of Technology Warangal 
  • M.Tech  Computer Science and Engineering from Pondicherry Central University 
  • B.Tech Information Technology from Anna University, Thirunelveli campus 

Area of Research

  • Theoretical Computer Science
  • Design and analysis of distributed algorithms
  • Formal verification of asynchronous algorithms

Bio

Dr. Sathyanarayanan Srinivasan has completed his Ph. D. from National Institute of Technology Warangal. He did his doctoral research in the field of Theoretical Computer Science, specifically on the design and analysis of distributed algorithms. In his doctoral work, he has also introduced new techniques for proving the correctness and safety of asynchronous distributed algorithms. He is currently working in formal verification of asynchronous algorithms.

Projects

Finance for Micro, Small, and Medium Sized Enterprises in Chennai: Sources and Challenges, SNU, Funding amount: 1 lakh, 2023 – 2024

Publications

  1. Asynchronous Consensus in Synchronous Systems Using send to all Primitive, SN Computer Science, Springer, Sathyanarayanan Srinivasan,2023
  2. Solving consensus in true partial synchrony, IEEE Transactions on Parallel and Distributed Systems, Sathyanarayanan Srinivasan, Kandukoori Ramesh,2022.
  3. Sathyanarayanan Srinivasan and Ramesh Kandukoori. “A Paxos-based algorithm to minimize the overhead of process recovery in consensus. Acta Informatica 56, no. 5 (2019): 433-446.
  4. Sathyanarayanan Srinivasan & Ramesh kandukoori (2021) A synod based deterministic and indulgent leader election protocol for asynchronous large groups, International Journal of Parallel, Emergent and Distributed Systems, DOI: 10.1080/17445760.2021.1879067
  5. Sathyanarayanan Srinivasan and K. S. Joseph, “A survey on stochastic vehicle routing problem,” International Conference on Information Communication and Embedded Systems (ICICES2014), 2014, pp. 1-7, doi: 10.1109/ICICES.2014.7033895.
  6. Sathyanarayanan S, K. S. Joseph and S. K. V. Jayakumar, “A hybrid population seeding technique based Genetic Algorithm for stochastic Multiple Depot Vehicle Routing Problem,2015 International Conference on Computing and Communications Technologies (ICCCT), 2015, pp. 119-127, doi: 10.1109/ICCCT2.2015.7292731.
  7. Srinivasan S, Kandukoori R. Solving consensus in true partial synchrony. IEEE Transactions on Parallel and Distributed Systems. 2022 Mar 7;33(12):3478-90.