About me
Namaste!
I am doctoral student in the Rigorous Software Engineering
group at
Max Planck Institute for Software Systems (MPI-SWS)
in Kaiserslautern, Germany. I am advised by
Rupak Majumdar
and
Anne-Kathrin Schmuck. I am interested in synthesis and verification of
distributed systems.
In 2023, I visited the Automated Reasoning Group at AWS for an
internship.
Prior to this, I graduated with a Masters in Computer Science,
and Bachelors in Mathematics and Computer Science from
Chennai Mathematical Institute
in India.
I love reading poetry, and playing Minecraft.
I am co-organizing a students talk series
OFCOURSE, on the
theory of verification and synthesis. If you are a PhD student
and would like to give a talk, please get in touch.
Publications
Priority Downward Closures
with Georg Zetzsche.
at CONCUR, 2023
Contract-Based Distributed Synthesis in Two-Objective Parity Games
with Satya Prakash Nayak, and Anne-Kathrin Schmuck.
accepted at HSCC'24
Best poster award, HSCC'23
Synthesizing Permissive Winning Strategy Templates for Parity Games
with Satya Prakash Nayak, and Anne-Kathrin Schmuck.
at CAV, 2023
Computing Adequately Permissive Assumptions for Synthesis
with Kaushik Mallik, Satya Prakash Nayak, and Anne-Kathrin
Schmuck.
at TACAS, 2023
For parity games, which are canonical representations of $\omega$-regular games, we present a polynomial-time algorithm for the symbolic computation of \emph{adequately permissive assumptions} and show that our algorithm runs faster and produces better assumptions than existing approaches---both theoretically and empirically. To the best of our knowledge, for \emph{$\omega$-regular} games, we provide the first algorithm to compute sufficient and implementable environment assumptions that are also \emph{permissive}.
New Algorithms for Combinations of Objectives using Separating Automata
with Nathanaël Fijalkow, Aliénor Goubault-Larrecq, Jérôme
Leroux, and Pierre Ohlmann.
at GandALF, 2021.
Talks
To Assume, Or Not To Assume
for 'Theory Seminar' at UMass, Amherst,
On 20th February 2024
at Highlights'23, Kassel, Germany,
On 25th July 2023
for 'Analysis of Computer Systems' group at The Courant
Institute of Mathematical Sciences, NYU,
On 16th May 2023
How to Play in a Team
for 'Advanced Automata Theory' course at RPTU,
Kaiserslautern,
On 14th July 2023
Internships
Amazon Web Services, New York City, USA
in the Automated Reasoning Group
Nov 2023 - Feb 2024
MPI-SWS, Kaiserslautern, Germany
with Georg Zetzsche (Remote)
Jul 2020 - Jun 2021
The internship was in fulfillment of Master's thesis requirement. We worked on the downward closures of Languages with respect to refinements of subword order.
Chennai Mathematical Institute, Chennai, India
with Prajakta Nimbhorkar
Mar 2021 - Aug 2021
The aim of the project was to study some advanced graph problems and known algorithms to solve them, and to see how good they are practically. We looked at the current status of these problems and explored further research directions.
Laboratoire Bordelais de Recherche en Informatique, Bordeaux, France
with Jérôme Leroux and Nathanaël Fijalkow
May 2019 - Jul 2019
In this internship, we worked on solving the games on graphs with combination of winning objectives using separating automata and universal graphs, which have been used in past to solve parity games and mean payoff games. Click here to read the blog post on our work.
Institut de Recherche en Informatique Fondamentale, Paris, France
with Thomas Colcombet and Sylvain Schmitz
May 2018 - Jul 2018
The main aim of the internship was to read the paper,
Polynomial vector addition systems with states
, and extending the results to other models like
Branching-VASS, Reset-VASS, Affine-VASS.
Review
CSR 2022
Sub-reviewer
NFM 2022
Sub-reviewer
DMTCS (Journal)
Sub-reviewer
ESA 2023
Sub-reviewer
Teaching assistance
Complexity theory
MPI-SWS, Oct 2021 - Mar 2022
Discrete mathematics
CMI, Dec 2020 - Feb 2021
Design and analysis of algorithms
CMI, Aug 2020 - Nov 2020
Linear optimisation
CMI, Jan 2020 - Apr 2020
Modern application development
NPTEL, Jan 2020 - Mar 2020
Weighted automata
CMI, Jan 2020 - Feb 2020
Discrete mathematics
CMI, Aug 2019 - Sept 2019
Concurrency theory
CMI, Aug 2019 - Nov 2019