About Me
I recently completed my PhD in theoretical computer science. My research focuses on distributed strategy synthesis in games played on asynchronous transition systems, with particular emphasis on the roles of partial information and memory in distributed games.
Research Interests: Algorithmic Game Theory, Formal Methods, Distributed Systems, Reactive Synthesis, Concurrency and Verification, Asynchronous Models of Computation
Publications
-
Distributed Games with a Central Decision Maker
Bharat Adsul and Nehul Jain
FSTTCS 2025 [PDF] . [Presentation] -
Asynchronous Transition System Games for Two Processes and Their Analysis
Bharat Adsul and Nehul Jain
ICLA 2025 [PDF] . [Presentation] -
Non-deterministic asynchronous automata games and their undecidability
Bharat Adsul and Nehul Jain
arXiv [PDF] -
Using Daikon to Prioritize and Group Unit Bugs
Nehul Jain, Saikat Dutta, Ansuman Banerjee, Anil K. Ghosh, Lihua Xu, Huibiao Zhu
FACS 2013 [PDF]
PhD
- Games on Asynchronous Transition Systems
- PhD in Theoretical Computer Science
- Supervisor: Bharat Adsul
Education
- Ph.D., Indian Institute of Technology, Bombay (2026)
- M.Tech, Indian Statistical Institute, Kolkata (2013)
Teaching
- CS 207-2017-1 Discrete Structures with Prof. Bharat G. Adsul – Teaching Assistant
- CS 713-2014-2 Special Topics in Automata and Logics with Prof. Bharat G. Adsul – Teaching Assistant
- CS 218-2014-1 Design and Analysis of Algorithms with Prof. Bharat G. Adsul – Teaching Assistant
- CS 348m-2013-2 Computer Networks (Minor) with Prof. Bhaskaran Raman – Teaching Assistant
- CS 719-2013-1 Topics in Mathematical Foundations of Formal Verification with Prof. Supratik Chakraborty – Teaching Assistant