त्वरित संपर्क
Satyadev Nandakumar
PhD (Iowa State University)
Assistant Professor, Department of Computer Science and Engineering
शोध करना दिलचस्पी
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
विशेषज्ञता
Computable Analysis, Algorithmic Information Theory, Symbolic Dynamics
शिक्षा
PhD, Iowa State University, 2009
M.S., Iowa State University, 2003
B.Tech, REC Calicut 2000
चयनित प्रकाशन
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.