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 .











