CARVIEW

MOTORHOMES

Select Language

HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Tue, 26 Aug 2025 09:42:53 GMT access-control-allow-origin: * etag: W/"68ad819d-278d" expires: Sun, 18 Jan 2026 00:35:22 GMT cache-control: max-age=600 content-encoding: gzip x-proxy-cache: MISS x-github-request-id: D117:11B54:176D71:1B9B1E:696C286E accept-ranges: bytes age: 0 date: Sun, 18 Jan 2026 00:25:22 GMT via: 1.1 varnish x-served-by: cache-bom-vanm7210048-BOM x-cache: MISS x-cache-hits: 0 x-timer: S1768695922.224339,VS0,VE244 vary: Accept-Encoding x-fastly-request-id: 7b9766d3619d80beb20959607d8496fcd0effc31 content-length: 3496 Soumyajit Paul | Homepage of Soumyajit Paul

Soumyajit Paul

সৌম্যজিৎ

I am currently a post-doctoral researcher at the Department of Computer Science, University of Liverpool with Sven Schewe and Dominik Wojtczak .

My research is in algorithmic game theory and formal verification.

Previously, I was a Teaching and Research Fellow (ATER) at Université Paris Cité affiliated to IRIF.

I completed my PhD from LaBRI, Université de Bordeaux under the supervision of Hugo Gimbert, B. Srivathsan and Olivier Ly.

Before that, I completed my B.Sc in Mathematics and Computer Science and M.Sc in Computer Science from Chennai Mathematical Institute.

The area of my research is theoretical computer science. Broadly, I am interested in algorithmic game theory, stochastic systems and formal verification. During my PhD, I have worked on complexity of equilibrium computations in finite stochastic games with imperfect information.

I also enjoy thinking about theoretical questions that have direct and interesting applications. I have been working on a theoretical model for finding optimal strategies in Bridge Bidding.

Preprints

On the Complexity of the Optimal Correlated Equilibria in Extensive-Form Games
Vincent Cheval, Florian Horn, Soumyajit Paul, Mahsa Shirmohammadi
Arxiv

Publications

Generalised Reachability Games Revisited
Sougata Bose, Daniel Hausmann, Soumyajit Paul, Sven Schewe, Tansholpan Zhanabekova
GandALF 2025 (To appear)
Resolving Nondeterminism by Chance
Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, Di-De Yen
CONCUR 2025 (To appear)
Arxiv | Conference version
Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata
Yong Li, Soumyajit Paul, Sven Schewe, Qiyi Tang
CAV 2025
Conference version | Slides
Simplifying Imperfect Recall Games
Hugo Gimbert, Soumyajit Paul, B. Srivathsan
AAMAS 2025 (Full paper)
Arxiv | Conference version | Slides
Pushable chromatic number of graphs with degree constraints
Julien Bensmail, Sandip Das, Soumen Nandi, Soumyajit Paul, Théo Pierron, Sagnik Sen, Éric Sopena
Discrete Mathematics 2021
Journal version
A Bridge between Polynomial Optimization and Games with Imperfect Recall
Hugo Gimbert, Soumyajit Paul, B. Srivathsan
AAMAS 2020 (Full paper)
Arxiv | Conference version