I am a PhD research scholar (nearing completion) in Theoretical Computer Science at TIFR Mumbai. I am currently looking for postdoc opportunities!

My primary area of research during my PhD has been reactive synthesis for probabilistic systems, i.e., finding efficient algorithms to synthesize winning strategies (of small memory size) for conjunctions of probabilistic objectives in stochastic games on graphs. You can read more about my work in my CV.

On this site, you will also find my blog where I write and share interesting articles, puzzles, poems, photos, recipes, comics, and so much more.

News

  • I will give a talk on Optimizing Expectation with Guarantees for Window Mean-payoff in Markov Decision Processes at the Workshop on Automata and Games for Synthesis co-located with FSTTCS 2025.
  • Paper with Laurent Doyen and Shibashis Guha on Expectation in Stochastic Games with Prefix-independent Objectives has been accepted at CONCUR 2025!
  • I will give a student seminar talk on The Canadian traveller problem on 14 February 2025 at 4:00 pm at TIFR.