• Formal verification of real-time systems
  
• Automata theory
  
• Games
  
• Concurrency

• R. Keerthan (currently a part-time PhD student, employed at TCS Innovation Labs, Pune)
• Adwitee Roy
• Sanchari Sil (co-advising with S Krishna, IIT Bombay)
• Arnab Sur
• Vaishnavi Vishwanath (co-advising with Patricia Bouyer-Decitre, ENS Paris-Saclay, France)

• R. Govind (co-advised with Igor Walukiewicz, Frédéric Herbreteau at LaBRI, University of Bordeaux)     Dissertation
• Sayan Mukherjee (co-advised with Paul Gastin, ENS Paris-Saclay)     Dissertation
• Soumyajit Paul (co-advised with Hugo Gimbert at LaBRI, University of Bordeaux)     Dissertation

• President, Indian Association for Research in Computing Science (IARCS), (2024 - )
• Secretary, IARCS, (2017 - 2023)
• ACM India - IARCS Travel Grants Committee (2017 - present)

• Linear Programming and Combinatorial Optimization (current)
  
  
• Timed Automata
• Games on Graphs
• Linear Optimization
• Discrete Mathematics
• Linear Programming and Combinatorial Optimization (with Prajakta Nimbhorkar)
  
• Model-checking (NPTEL Massive Open Online Course)
  
• Model Checking and Systems Verification (with Mandayam Srivas)
  
• Quantitative Automata Theory (with C. Aiswarya)
  
• Quantitative Automata Theory (with Madhavan Mukund)
  
• Finite Model Theory (Lectures 12 - 19) (with M Praveen)
  
• Logic, Automata and Games
  
• Automata for Real-time Systems
  
• Theory of Computation
  
• Topics in timed automata
  

Last updated: January 2025