Algorithmic Information Theory (03D32, 68Q30), Computability and Complexity in Analysis (03D78), Dynamical Systems (37XX)
CS 687: Algorithmic Information Theory
CS 744: Pseudorandom Generators
CS 350: Principles of Programming Languages. [Archive]
CS 698D: Special topics in data compression
ESO 209: Probability & Statistics. [Tutor in Sem II 2010-11]
ESc 101: Fundamentals of Computing.
Ph.D. in CS, Iowa State University,
2009, under Jack
Lutz (academic genealogy)
M.S. in CS, Iowa State University 2003
B.Tech CSE, Regional Engineering College Calicut, University of Calicut, 2000 (rechristened NIT, Calicut.)
Phone +91 (512) 259-7619
email "mail@" followed by "satyadev.in"
You may be interested in some of my Random Insights.