K. Narayan Kumar

Biography

I am a Professor of Computer Science at the Chennai Mathematical Institute, Chennai. I completed my undergraduate studies at the Birla Institute of Technology and Science, Pilani, in 1990. I completed my Ph.D. in Computer Science at the Tata Institute of Fundamental Research, Mumbai, in 1997.

Research Interest

Automata, in particular, automata models for distributed systems Logic and Verification