Quick Links
Satyadev Nandakumar
PhD (Iowa State University)
Assistant Professor, Department of Computer Science and Engineering
Research Interest
Theoretical Computer Science, Algorithmic Information Theory, Computible Analysis.
Office
312 H. R. Kadim Diwan Building,
Department of Computer Science and Engineering
IIT Kanpur,
Kanpur 208016
Specialization
Computable Analysis, Algorithmic Information Theory, Symbolic Dynamics
Education
PhD, Iowa State University, 2009
M.S., Iowa State University, 2003
B.Tech, REC Calicut 2000
Selected Publications
Normality and Finite-State Dimension of Liouville Numbers (joint work with Santosh Kumar Vangepalli.) 8thInternational Conference on Computability and Randomness, Moscow, Russia, 2013. (invited to the Special Issue for CCR 2013, Theory of Computing Systems (under review).)
Predictive Complexity and Generalized Entropy of Stationary Ergodic Processes, (joint work with Mrinalkanti Ghosh), 23rd Conference on Algorithmic Learning Theory, Lyon, France, 2012.
An Effective Ergodic Theorem and Some Applications, 40th ACM Annual Symposium on Theory of Computing, Victoria, BC, Canada, 2008.
A Characterization of Constructive Dimension, Computability and Complexity in Analysis, Siena, Tuscany, Italy, 2007.
Finite State Dimension and Real Arithmetic, (joint work with David Doty and Jack Lutz) 33rd International Colloquium on Automata, Logic and Programming, Venice, Italy, 2006.