I am currently a post-doctoral researcher at University of Haifa, advised by Guy Avni since 2022.
I did my PhD (2018-2021) at Inria Rennes, France, under the supervision of Nathalie Bertrand, Nicolas Markey, and Ocan Sankur. Prior to that, I graduated with Masters in Computer Science and Bachelors in Mathematics and Computer Science from Chennai Mathematical Institute (CMI), India, in 2018 and 2016, respectively.
Here is my CV.
Area of Research Interests:
I am broadly interested in Theoretical Computer Science, more specifically the sub-area of formal methods and verification (sometimes referred to as "Theory B"). I am actively working in the area of Games on Graphs, especially Bidding games on graphs, and its application in formal methods.
Bidding games (on graphs) is a model of two-player interactions (often between a system and its environment) where the players participate in an auction in each turn in order to decide the control of that turn. We study (on theoretical side) if (existence) and how (computing winning strategy) a player can win such a game. If successful, this gives us a correct-by-design controller for a given system, or assurance if there is none. Furthermore, we are currently looking at (on more practical side) how and if bidding games theoretic solutions can work for areas like decentralised controller synthesis.
More on these here, and the papers listed below.
Publications:
Auction-Based Scheduling (to appear at TACAS'24)
Joint work with Guy Avni and Kaushik Mallik
Reachability Poorman Discrete-Bidding Games (ECAI'23)
Joint work with Guy Avni, Tobias Meggendorfer, Josef Tkadlec, and Đorđe Žikelić
[ArXiv] [Slides]
Computing Threshold Budgets in Discrete-Bidding Games (FSTTCS'22)
Joint work with Guy Avni
Semilinear Representations for Series-Parallel Atomic Congestion Games. (FSTTCS'22)
Joint work with Nathalie Bertrand, Nicolas Markey, and Ocan Sankur
[PDF] [Slides]
Dynamic Network Congestion Games (FSTTCS'20)
Joint work with Nathalie Bertrand, Nicolas Markey, and Ocan Sankur
[ArXiv] [Slides] [Conference version] [video]
Theses:
PhD: A Verification Viewpoint on Network Congestion Games
Masters: Symbolic Decision Diagram with Equality Relations (Supervised by Slawek Lasota)
Contact:
Office: Room 503, Amir Building, Ha'Namal Street 67, Haifa.
email: ssadhukh AT campus DOT haifa DOT ac DOT il