VR Sathiyanarayana

Hi, I’m Sathiya! I’m a first-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 broadly interested in logic and computability theory. At the moment, I’m studying the structure of probabilistic programs that terminate almost-surely.

I earned my master’s at the Chennai Mathematical Institute in 2022. My master’s thesis elaborates on the separation of temporal logics over ordered trees, which you can find here.

I maintain a (private) technical diary. I (used to!) upload excerpts from it from time to time.

Here’s my resume.