My research interests are in (but not restricted to) Automata Theory, Games, Logic and Verification.
Currently, I am working on problems in algorithmic game theory as part of the EPSRC project "The cost of winning strategies".
I have previously worked on Transducers during my PhD, and on Timed systems during my Masters.
Origin-Equivalence of Two-Way Word Transducers Is in PSPACE (FSTTCS 2018)
On Synthesis of Resynchronizers for Transducers (MFCS 2019)
One-way Resynchronizability of Word Transducers (FoSSaCS 2021)
On Decision Problems on Word Transducers with Origin Semantics (Ph.D. Thesis)
(Supervisors: Anca Muscholl and Gabriele Puppis) [Dissertation]
History-deterministic Timed Automata are Not Determinizable (RP 2022)
(With Thomas Henzinger, Karoliina Lehtinen, Sven Schewe and Patrick Totzke) [pdf]
email address: sougata <dot> bose <at> liverpool <dot> ac <dot> uk
Office no 211, Ashton Building
Department of Computer Science, University of Liverpool, Liverpool, L69 3BX, UK