B Srivathsan
Assistant Professor
Computer Science
Chennai Mathematical Institute
India
Biography
B Srivathsan Assistant Professor Computer Science Department Chennai Mathematical Institute
Research Interest
Theoretical foundations of formal verification Formal language theory
Publications
-
Nesting depth of operators in graph database queries: Expressiveness vs evaluation complexity with M. Praveen. Proceedings of ICALP 2016
-
Better abstractions for timed automata with Frédéric Herbreteau and Igor Walukiewicz. To appear in Infomation and Computation.
-
Why liveness for timed automata is hard and what we can do about it with F. Herbreteau, T. T. Tran, I. Walukiewicz. Accepted at FSTTCS 2016.
