Automata theory, Quantitative Verification, Complexity Theory, Linear dynamical systems and Numerical algorithms
Personal Information
Prof Nikhil Balaji
Male
Department of Computer Science and Engineering Indian Institute of Technology Delhi, Hauz Khas, New Delhi, Delhi, IndiaNew Delhi, Delhi, India - 110016