A. R. Balasubramanian

A. R. Balasubramanian is a Postdoctoral Researcher at the Max Planck Institute for Software Systems (MPI-SWS), part of the Max Planck Society, where he works under Rupak Majumdar in theoretical computer science research.

He earned his Ph.D. from the Technical University of Munich between 2019 and 2024 under Professor Javier Esparza's supervision.

His research centers on Theoretical Computer Science with deep specialization in Formal Methods and Software Verification. Key focus areas include Parameterized Verification for systems with unbounded parameters, Automata Theory for abstract computational models, Counter Models for system analysis, and Well-Quasi Orders for termination proofs in verification frameworks. This work establishes foundational contributions to automated reasoning and software correctness.

Dr. Balasubramanian maintains professional presence through dblp and his CV, with primary contact via bayikudi@mpi-sws.org.