Sathiya Venkatesan Ramesh

V.R. Sathiyanarayana is 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. He is interested in a variety of topics that fall under the umbrella of logic and computability theory. At the moment, he's studying the structure of probabilistic programs that satisfy certain termination guarantees.