B Srivathsan
Scholar

B Srivathsan

Google Scholar ID: jZPBO50AAAAJ
Chennai Mathematical Institute, Associate Professor of Computer Science
Formal VerificationLogic and Automata theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
273
 
H-index
10
 
i10-index
10
 
Publications
20
 
Co-authors
0
 
Contact
CVOpen ↗
Publications
2 items
Deterministic Suffix-reading Automata
2025
Cited
0
Synthesising Asynchronous Automata from Fair Specifications
2025
Cited
0
Resume (English only)
Academic Achievements
  • - Publications: See DBLP, Google Scholar, and personal list
  • - PhD Supervision:
  • - Current: R. Keerthan (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)
  • - Graduated: R. Govind (co-advised with Igor Walukiewicz, Frédéric Herbreteau at LaBRI, University of Bordeaux), Sayan Mukherjee (co-advised with Paul Gastin, ENS Paris-Saclay), Soumyajit Paul (co-advised with Hugo Gimbert at LaBRI, University of Bordeaux)
  • - Professional Service:
  • - President, Indian Association for Research in Computing Science (IARCS), (2024 - )
  • - Secretary, IARCS, (2017 - 2023)
  • - ACM India - IARCS Travel Grants Committee (2017 - present)
  • - Scientific Service:
  • - Programme Committees of Conferences: ATVA 2025 (PC co-Chair), CONCUR 2025, VMCAI 2025, NETYS 2025, Highlights 2025, ATVA 2024, QEST-FORMATS 2024, CAV 2024, etc.
  • - Organization: IARCS Verification Seminar, Games workshop 2020, Advances in Verification Workshop@FSTTCS 2020, CAALM 2019, ACTS 2017, etc.
Research Experience
  • - Post-doc: Jul 2012 - Jun 2013, RWTH-Aachen, Software Modeling and Verification Group, Head: Joost-Pieter Katoen
Education
  • - Dual Degree (B.Tech + M.Tech): Jul 2004 - Jul 2009, IIT Bombay, Computer Science and Engineering, Advisors: S N Krishna, Paritosh Pandya
  • - Ph.D: Oct 2009 - Jun 2012, LaBRI, University of Bordeaux, Advisors: Frédéric Herbreteau, Igor Walukiewicz
Background
  • Research Interests: Formal verification of real-time systems, automata theory, games, concurrency.
Miscellany
  • Teaching: Linear Programming and Combinatorial Optimization, Timed Automata, Games on Graphs, Discrete Mathematics, Model-checking (NPTEL Massive Open Online Course), Quantitative Automata Theory, etc.
Co-authors
0 total
Co-authors: 0 (list not available)