skip to main content

Curriculum Vitae

pranshu@pranshugaba.com   pranshu.gaba@tifr.res.in   dblp   orcid  

Last updated on   ↓ Download CV as PDF

Research interests

general
formal methods, game theory, logic, computer science, discrete mathematics

specific
reactive synthesis, finitary objectives, stochastic games, Markov decision processes

Education

PhD in Theoretical Computer Science, ongoing
Tata Institute of Fundamental Research, Mumbai, India

Advisor: Shibashis Guha
Thesis: Window mean-payoff in turn-based stochastic games

Relevant courses: Logic, automata, and games; Automata, verification, and infinite games; Descriptive complexity; Computational complexity; Algebra and computation; Algebraic automata theory

Bachelor of Science (Research) with Mathematics major, July 2020
Indian Institute of Science, Bangalore, India

Advisor: L. Sunil Chandran
Thesis: Vertex connectivity of Eulerian orientations

Relevant courses: Automata theory and computability; Introduction to scalable systems; Game theory; Graph theory; Combinatorics; Number theory; Measure theory

Communication

Publications

  • Expectation in Stochastic Games with Prefix-independent Objectives

    with Laurent Doyen and Shibashis Guha
    Accepted in CONCUR 2025

  • Optimising Expectation with Guarantees for Window Mean Payoff in Markov Decision Processes

    with Shibashis Guha
    Accepted in AAMAS 2025

  • Recognising numbers

    with Arnab Sur
    Accepted in ICLA 2025

  • Stochastic Window Mean-payoff Games

    with Laurent Doyen and Shibashis Guha
    Accepted in FoSSaCS 2024 and LMCS

Seminar talks

  • The Canadian traveller problem

  • Sperner’s lemma and the equidissection of regular polygons

  • The connection between circuit complexity and first-order logic

  • The complexity of solving simple stochastic games

  • Courcelle’s theorem

  • Total-payoff games on graphs with windows

  • Determinacy of two-player games with perfect information

  • Vertex connectivity of Eulerian orientations

Outreach sessions

  • Sperner’s lemma and its application to rent division

    with Malhar Managoli, Shanthanu Rai, and Aindrila Rakshit

  • Voting mechanisms

    with Ratnakar Medepalli, Shanthanu Rai, and Ashutosh Shankar

  • Hamming codes

    with Eeshan Modak, Varun Ramanathan, and Ashutosh Shankar

  • Fun with graphs

    with Hari Krishnan P A and Ashutosh Shankar

  • Impartial games

    with IISc Maths department

Experience

Reviewing

MathOR, ATVA 2025, EC 2025, CAV 2025, CSL 2025, STACS 2025, LICS 2024

Teaching assistantship

  • Automata and Computability at TIFR (January - May 2025)

Conferences attended

2025

  • FSTTCS 2025 in BITS Pilani, Goa, India
  • IndiCS Seminar on Automated Synthesis 2025, Mysore, India
  • ATVA 2025 in IIIT Bangalore, India
  • Highlights 2025 in Saarland University, Saarbrücken, Germany
  • CONCUR 2025 in University of Aarhus, Denmark
  • Formal Methods Update meeting 2025 in DAU, Gandhinagar, India
  • ACM ARCS 2025 in PSG College of Technology, Coimbatore, India
  • ICLA 2025 in ISI Kolkata, India

2024

  • FSTTCS 2024 in IIT Gandhinagar, India
  • Winter School on Verification 2024 in IIT Delhi, India
  • SAT 2024 in TCS Pune, India
  • ISLA 2024 in IIT Goa, India
  • ETAPS 2024 in Luxembourg

2023

  • FSTTCS 2023 in IIIT Hyderabad, India
  • Formal Methods Update meeting 2023 in IIT Goa, India

2022

  • FSTTCS 2022 in IIT Madras, Chennai, India
  • FLoC 2022 in Technion, Haifa, Israel