Sougata Bose (সৌগত বোস)

Hi, I am a postdoctoral researcher in the group of Mickael Randour at University of Mons.

My main research interests is in algorithmic game theory and automata theory for verification.

Previously, I was a post-doctoral research associate with Patrick Totzke at the University of Liverpool.

Before that, I did my PhD at LaBRI, University of Bordeaux under the supervision of Anca Muscholl and Gabriele Puppis.

Even before that, I did my Masters in Computer Science from Chennai Mathematical Institute(CMI) in 2017 and my Bachelors in Mathematics and Computer Science from CMI in 2015. My Master's thesis was supervised by B. Srivathsan.

Research Interests

My research focuses on topics in the intersection of Maths and Theoretical Computer Science, specifically Games, Automata Theory, Logic and Verification.

I am currently working in the FNRS project "ControlleRS" at Mons focusing on understanding resource requirement for winning strategies in games.

I worked on problems in algorithmic game theory as part of the EPSRC project "The cost of winning strategies" at Liverpool.

I have previously worked on Transducers during my PhD, and on Timed systems during my Masters.

Publications

Generalised Reachability Games Revisited (GanDALF 2025)

(With Daniel Hausmann, Soumyajit Paul, Sven Schewe and Tansholpan Zhanbekova) [arxiv][conference]

Temporal Explorability Games (CONCUR 2025)

(With Pete Austin, Nicolas Mazzocchi and Patrick Totzke) [arxiv][conference]

The Power of Counting Steps in Quantitative Games (CONCUR 2024, Best paper award nominee)

(With Rasmus Ibsen-Jensen, David Purser, Patrick Totzke and Pierre Vandenhove) [arxiv][conference]

Bounded-memory Strategies in Partial-Information Games (LICS 2024)

(With Rasmus Ibsen-Jensen and Patrick Totzke) [arxiv][conference]

Parity Games on Temporal Graphs (FoSSaCS 2024)

(With Pete Austin and Patrick Totzke) [arxiv] [conference]

History-deterministic Vector Addition Systems (CONCUR 2023)

(With David Purser and Patrick Totzke) [arxiv][conference]

History-deterministic Timed Automata (in Logical Methods in CS, Volume 20, Issue 4, 2024)

(With Thomas Henzinger, Karoliina Lehtinen, Sven Schewe and Patrick Totzke) [arxiv][journal]

History-deterministic Timed Automata are Not Determinizable (RP 2022)

(With Thomas Henzinger, Karoliina Lehtinen, Sven Schewe and Patrick Totzke) [pdf][conference]

One-way Resynchronizability of Word Transducers (FoSSaCS 2021)

(With Krishna S., Anca Muscholl and Gabriele Puppis) [arxiv] [conference] [talk recording]

On Synthesis of Resynchronizers for Transducers (MFCS 2019)

(With Krishna S., Anca Muscholl, Vincent Penelle and Gabriele Puppis) [arxiv] [conference]

Origin-Equivalence of Two-Way Word Transducers Is in PSPACE (FSTTCS 2018)

(With Anca Muscholl, Vincent Penelle and Gabriele Puppis) [arxiv] [conference]

On Decision Problems on Word Transducers with Origin Semantics (Ph.D. Thesis)

(Supervisors: Anca Muscholl and Gabriele Puppis) [Dissertation]

Contact

email address: sougata <dot> bose <at> umons <dot> ac <dot> be

Office 2.50, Bâtiment de Vinci

Départment de Mathématique, Université de Mons

Avenue Victor Maistriau 15, 7000 Mons