Satyadev Nandakumar

Satyadev Nandakumar is a Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Kanpur. He received his PhD from Iowa State University in 2009, following an MS from the same institution in 2003 and a B.Tech from REC Calicut in 2000.

His research interests center on Theoretical Computer Science with a focus on Algorithmic Information Theory, Computable Analysis, and Symbolic Dynamics. His work bridges mathematical foundations with computational theory, exploring the intersection of randomness, dimension, and computation.

His publication record shows a consistent research trajectory in foundational computer science, with significant contributions to understanding the relationship between finite-state complexity and number theory, predictive complexity of ergodic processes, and characterizations of constructive dimension. His work demonstrates a strong mathematical approach to theoretical computer science problems.

As a faculty member at IIT Kanpur, he maintains an active research program within the Department of Computer Science and Engineering, contributing to the theoretical foundations of computing at one of India's premier technical institutions.