PROFESSIONAL PATH

About me

Namaste!

I am a doctoral student in the Rigorous Software Engineering group at the 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 a Bachelors in Mathematics and Computer Science from Chennai Mathematical Institute in India.

I love reading poetry and playing Minecraft.

I am co-organizing a student 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.

EXPERIENCE

Publications

Verifying Unboundedness via Amalgamation

with Sylvain Schmitz, Lia Schütze and Georg Zetzsche.
at LICS, 2024

Contract-Based Distributed Synthesis in Two-Objective Parity Games

with Satya Prakash Nayak and Anne-Kathrin Schmuck.
at HSCC'24

Best poster award, HSCC'23

Priority Downward Closures

with Georg Zetzsche.
at CONCUR, 2023

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

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

indicates invited talk/seminar.

To Assume, Or Not To Assume

at 'Dagstuhl Seminar 24171' in Dagstuhl, Germany,
On 26th April 2024

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

Priority Downward Closures

at Theorietag 2023, Kaiserslautern, Germany,
On 5th October 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

Chennai Mathematical Institute, Chennai, India

with Prajakta Nimbhorkar

Mar 2021 - Aug 2021

Laboratoire Bordelais de Recherche en Informatique, Bordeaux, France

with Jérôme Leroux and Nathanaël Fijalkow

May 2019 - Jul 2019

Institut de Recherche en Informatique Fondamentale, Paris, France

with Thomas Colcombet and Sylvain Schmitz

May 2018 - Jul 2018

PROFESSIONAL SERVICES

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

Miscellaneous

Parā, the annual CMI magazine

Design and Planning

How to open a new tab