B. Srivathsan
I am an Associate Professor in the Computer Science Department at Chennai Mathematical Institute, India. My research interests lie in automata theory and formal verification — in particular, the algorithmic verification of timed and concurrent systems.
| Office |
Room 401 H1, SIPCOT IT Park Siruseri Kelambakkam 603103 India |
Recent News
- August 2026 Call for proposals for IARCS Instructional Schools open.
- July 2026 New joint work with Béatrice Bérard, Benjamin Monmege and Arnab Sur on Zeilonka-type synthesis, up on ArXiv.
- July 2026 New joint work with Patricia Bouyer and Vaishnavi Vishwanath on satisfiability of Metric Interval Temporal Logic (MITL) up on ArXiV.
- June 2026 R. Keerthan successfully defended his Ph.D.! Congratulations Keerthan.
- June 2026 Joint work with R. Govind, S. Krishna and Sanchari Sil receives best paper award at NETYS 2026! Here is the version on ArXiV.
- February 2026 Co-organized the Focus Programme on Formal Methods and AI at CMI.
Upcoming events
Awards & Honors
- TACAS 2026. Distinguished Paper Award.
- NETYS 2026. Best Paper Award.
- FoSSaCS 2025. EATCS Best Theory Paper Award for ETAPS'25.
- NETYS 2025. Best Paper Award.
Academic Background
| 2004–2009 |
B.Tech. and M.Tech., Computer Science and Engineering Indian Institute of Technology Bombay |
| 2009–2012 |
Ph.D. in Computer Science LaBRI, University of Bordeaux, France Thesis: Abstractions for Timed Automata Advisors: Frédéric Herbreteau and Igor Walukiewicz |
| 2012–2013 |
Postdoctoral Researcher RWTH Aachen University, Germany Software Modeling and Verification Group |
| 2013–2019 |
Assistant Professor Chennai Mathematical Institute |
| 2019–present |
Associate Professor Chennai Mathematical Institute |
Students
Current Ph.D. Students
- Adwitee Roy
- Sanchari Sil — co-supervised with S. Krishna, IIT Bombay
- Arnab Sur
- Vaishnavi Vishwanath — co-supervised with Patricia Bouyer-Deçitre, ENS Paris-Saclay
Graduated Ph.D. Students
- R. Keerthan (2026) Dissertation
- Soumyajit Paul (2023) — co-supervised with Hugo Gimbert, LaBRI, France Dissertation
- Sayan Mukherjee (2022) — co-supervised with Paul Gastin, ENS Paris-Saclay, France Dissertation
- R. Govind (2021) — co-supervised with Frédéric Herbreteau and Igor Walukiewicz, LaBRI, France Dissertation
Professional Service
Administrative Service
- President, Indian Association for Research in Computing Science (IARCS), since 2023
- Secretary, Indian Association for Research in Computing Science, 2017–2023
Conference Service
Programme committee member for conferences including ATVA, CAV, CONCUR, FORMATS, FoSSaCS, FSTTCS, GandALF, ICFEM, ICTAC, MFCS, NETYS, RP and VMCAI.
PC Co-chair: ATVA 2025.
See the complete service record for programme committees and workshops organized.
Teaching
Current course: Modern Aspects of Automata Theory
Past courses include
- Timed Automata
- Linear Programming and Combinatorial Optimization
- Games on Graphs
- Model Checking - NPTEL MOOC
- Discrete Mathematics
- Linear Programming and Combinatorial Optimization
- Model Checking and Systems Verification
- Quantitative Automata Theory
- Quantitative Automata Theory
- Finite Model Theory (Lectures 12–19)
- Logic, Automata and Games
- Automata for Real-time Systems
- Theory of Computation
- Topics in Timed Automata