Hi, I’m Sathiya! I’m a second-year doctoral student working with Rupak Majumdar in the Rigorous Software Engineering group at the Max Planck Institute for Software Systems in Kaiserslautern, Germany.
I’m interested in a variety of topics that fall under the umbrella of logic and computability theory. At the moment, I’m studying the structure of probabilistic programs that satisfy certain termination guarantees.
I earned my master’s at the Chennai Mathematical Institute in 2022. My master’s thesis, which you can find here, elaborates on the separation of temporal logics over ordered trees.
I maintain a (quite messy) technical diary. I (sometimes) polish up the nice bits from it and upload them here.
Here’s my resume. My publications are:
- Rupak Majumdar and V.R. Sathiyanarayana (2024). Positive Almost-Sure Termination – Complexity and Proof Rules. Proc. ACM Program. Lang., POPL. https://doi.org/10.1145/3632879
- Rupak Majumdar, V.R. Sathiyanarayana, and Soudjani, Sadegh. (2024). Necessary and Sufficient Certificates for Almost Sure Reachability. IEEE Control Systems Letters. https://doi.org/10.1109/LCSYS.2024.3507279
- Rupak Majumdar, and V.R. Sathiyanarayana, V.R. (2025). Sound and Complete Techniques for Reasoning About Termination. In: Jansen, N., et al. Principles of Verification: Cycling the Probabilistic Landscape. Lecture Notes in Computer Science, vol 15260. Springer, Cham. https://doi.org/10.1007/978-3-031-75783-9_2
- Majumdar, Rupak, and V.R. Sathiyanarayana (2025). Sound and Complete Proof Rules for Probabilistic Termination. Proc. ACM Program. Lang., POPL. https://doi.org/10.1145/3704899
- Constantin Enea, Harshit Jitendra Motwani, Rupak Majumdar, and V.R. Sathiyanarayana (2026). Verifying Almost-Sure Termination for Randomized Distributed Algorithms. Proc. ACM Program. Lang., POPL. https://dl.acm.org/doi/10.1145/3776691