K Narayan Kumar

K Narayan Kumar is a full-time Professor of Computer Science at the Chennai Mathematical Institute (CMI) in Chennai, India. He has been affiliated with CMI since at least 2003, where he teaches courses ranging from programming fundamentals to advanced topics in automata theory and verification. His research focuses on automata models for distributed systems, logic, and verification methods.

Research Interests:

• Automata models for distributed systems
• Logic and formal verification
• Theoretical computer science

Professional Activities:

• Active in organizing and participating in international conferences (e.g., FSTTCS, CONCUR, ATVA)
• Co-Chair of 29th FSTTCS (2009) and 3rd AATS (2011)
• Member of scientific committees for Informatics Olympiads

Teaching:

• Current courses: Introduction to Programming in Python, Algorithms
• Past courses: Haskell programming, Automata Theory, Verification, Networks, and more