B Srivathsan

B Srivathsan is an Associate Professor in the Computer Science Department at the Chennai Mathematical Institute. His research focuses on formal verification of real-time systems, automata theory, game theory, and concurrency. He has a dual degree in Computer Science and Engineering from IIT Bombay (2004-2009), a PhD from LaBRI, University of Bordeaux (2012), and post-doctoral experience at RWTH Aachen (2012-2013).

• Education:
  • B.Tech + M.Tech, IIT Bombay
  • Ph.D., University of Bordeaux
  • Post-doc, RWTH Aachen

Research Interests: He specializes in formal verification techniques for real-time systems using timed automata, with applications in critical systems like pacemakers. His work explores automata theory, game-theoretic approaches, and efficient algorithms for verification tasks, including zone-based abstractions and handling diagonal constraints.

Publication Trends: His recent work (2024-2025) addresses event-clock automata simulations, MITL model-checking, and deterministic suffix-reading automata. Earlier publications (2019-2022) focus on local-time semantics, negotiation modeling, and scalable verification algorithms for timed systems.

PhD Supervision: He advises five current students, including part-time student R. Keerthan at TCS Pune, and co-advises others with researchers from IIT Bombay and ENS Paris-Saclay. Three students have completed their PhDs under his guidance.

Professional Service: He serves as President of IARCS (2024-present), previously as Secretary (2017-2023), and chairs program committees for conferences like ATVA 2025. He organizes workshops including the IARCS Verification Seminar and Games Workshop 2020.