Dr. Sathyanarayanan Srinivasan
Assistant Professor
Department of Computer Science and Engineering
Department of Computer Science and Engineering
Email: [email protected]
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
Bio
Projects
Publications
Area of Research
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
Projects
-
Quantum emulation of large scale brain modelling, Principal Investigator, Funding amount ₹5,00,000
-
Metaverse in Healthcare, Co-Investigator, Funding amount ₹5,00,000
-
Finances for Micro, Small, and Medium Sized Enterprises in Chennai: Sources and Challenges, Co-Investigator, Funding amount ₹1,00,000
Publications
Publications
- Asynchronous Consensus in Synchronous Systems Using send to all Primitive, SN Computer Science, Springer, Sathyanarayanan Srinivasan,2023
- Solving consensus in true partial synchrony, IEEE Transactions on Parallel and Distributed Systems, Sathyanarayanan Srinivasan, Kandukoori Ramesh,2022.
- 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.
- 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
- 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.
- 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.
Area of Research
Area of Research
- Theoretical Computer Science
- Design and analysis of distributed algorithms
- Formal verification of asynchronous algorithms