I am a PhD research scholar in Theoretical Computer Science at TIFR, Mumbai. My research interests include logic, automata, and games, as well as algebra, combinatorics, and mathematics in general.
I write puzzles, poems, and more here on this site.
Pranshu Gaba
Hello there!
Welcome to my site
News
- Paper with Shibashis Guha on Optimising Expectation with Guarantees for Window Mean Payoff in Markov Decision Processes has been accepted at AAMAS 2025 as a full paper!
- I will give a talk on Expectation in Stochastic Games with Prefix-independent Objectives at the Workshop on Automata and Games for Synthesis co-located with FSTTCS 2024.
- Paper with Arnab Sur on Recognizing Numbers has been accepted at ICLA 2025!
Posts
Minis
And now a coriolis storm blows… heralding the onset of rain.
It would be great to have a stillsuit in Mumbai right now!