Sathiya Venkatesan Ramesh

Sathiya Venkatesan Ramesh is a doctoral student at the Max Planck Institute for Software Systems, researching probabilistic program verification under Professor Rupak Majumdar. His work establishes sound and complete proof rules for probabilistic termination and reachability.

He develops formal methods to certify termination properties in probabilistic systems, with applications in randomized algorithms and safety-critical systems.