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.

Minis

It’s days like these Diwali that I curse the Chinese for inventing gunpowder.

– The Rehearsal
– Me

I am watching season 2 of The Rehearsal by Nathan Fielder, who graduated from one of Canada’s top business schools with really good grades. This is some of the funniest television I have ever watched. I highly recommend this show, as well as Nathan for You.

Site statistics

Site last updated on

SectionPostsWords
articles97,871
poems41680
puzzles42,713
recipes41,061
trips61,750
comics20
newsletter issues77,469
stories1197
dev articles610,863
minis14362
Total9432,966