About Me
I am a Postdoctoral Fellow at Chennai Mathematical Institute (CMI). I completed my PhD in Computer Science at IIT Bombay, where I developed asynchronous transition system (ATS) games as a framework for studying distributed strategy synthesis in concurrent systems under partial information. My research interests lie in formal methods, game theory, distributed systems, and the synthesis and verification of reactive systems. I am particularly interested in understanding the roles of information, memory, and concurrency in distributed decision-making.
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]
Education
-
Ph.D. in Theoretical Computer Science, IIT Bombay, 2026
Supervisor: Bharat Adsul
Thesis: Games on Asynchronous Transition Systems
[Thesis] . [Defence] . [Synopsis] -
M.Tech. in Computer Science, 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