Loading photo ...
K. Narayan Kumar
Professor
kumar at cmi dot ac dot in
Qualifications
|
- M.Sc (Tech.) Computer Science, Birla Institute of Technology and Science, Pilani (1990).
- Ph.D, Tata Institute of Fundamental Research, Bombay University, 1997
|
Positions Held Previously
|
- Fellow, Chennai Mathematical Institute (1996-2001)
- Reader, Chennai Mathematical Institute (2001-2007)
|
Areas of Interest
|
- Distributed Automata
- Verification
- Logic
|