B Srivathsan

B Srivathsan is a Post-doctoral Researcher at RWTH Aachen University's Software Modeling and Verification group, led by Joost-Pieter Katoen. He holds a PhD from LaBRI (University of Bordeaux) under Igor Walukiewicz and Frédéric Herbreteau, and a dual B.Tech/M.Tech in Computer Science from IIT Bombay. His research focuses on formal verification, timed automata theory, and formal language foundations. He has taught a course on 'Topics in Timed Automata,' covering determinization, emptiness checks, and abstraction techniques.

• Education: PhD in Computer Science (LaBRI, 2012), Dual Degree from IIT Bombay (2007)

Research interests emphasize theoretical underpinnings of formal verification, with contributions to timed automata abstraction methods and real-time system analysis. His work bridges formal methods with practical verification challenges, particularly in non-convex approximation techniques and Zeno behavior detection. Talks and publications span venues like CAV, LICS, and FSTTCS.

He co-organized seminars on verification at LaBRI and contributed to algorithmic advancements in timed automata analysis, including efficient emptiness checks for Büchi automata.