Biosketch

Nikhil is an assistant professor in the Department of Computer Science and Engineering at IIT Delhi. His research lies in theoretical computer science, with a particular focus on complexity theory, automata theory, and algebraic computation. Much of his recent work and interests have focused on decision problems in the theory of real and complex numbers and their applications to formal verification. More broadly, he is interested in understanding the boundary between efficient computation and computational hardness through algebraic problems.