Nehul Jain

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

• 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]

• Postdoctoral Fellow in Computer Science
  Chennai Mathematical Institute (CMI), India
  Host: Prof. C. Aiswarya
  Research in formal methods, automata and games, concurrency theory, and distributed synthesis
• Short-Term Research Visitor
  Tata Institute of Fundamental Research (TIFR), Mumbai, India
  Host: Prof. Shibashis Guha
  Research on two-process asynchronous games and their extension to parity objectives
• Doctoral Research Scholar
  Department of Computer Science and Engineering, Indian Institute of Technology Bombay, India
  Supervisor: Prof. Bharat G. Adsul
  Doctoral research on Asynchronous Transition System games, Mazurkiewicz-trace semantics, distributed strategies, decidability and complexity, and finite-memory constructions

• TOC 2026: Theory of Computation with Prof. C. Aiswarya at Chennai Mathematical Institute – Teaching Assistant
• CS 207-2017-1: Discrete Structures with Prof. Bharat G. Adsul at IIT Bombay – Teaching Assistant
• CS 713-2014-2 : Special Topics in Automata and Logics with Prof. Bharat G. Adsul at IIT Bombay – Teaching Assistant
• CS 218-2014-1: Design and Analysis of Algorithms with Prof. Bharat G. Adsul at IIT Bombay – Teaching Assistant
• CS 348m-2013-2: Computer Networks (Minor) with Prof. Bhaskaran Raman at IIT Bombay – Teaching Assistant
• CS 719-2013-1: Topics in Mathematical Foundations of Formal Verification with Prof. Supratik Chakraborty at IIT Bombay – Teaching Assistant