Areas
Algorithmic Information Theory (03D32, 68Q30), Computability and Complexity in Analysis (03D78), Dynamical Systems (37XX)
Research Publications Talks
Students B Tech M Tech/M Sc Ph. D
Courses
CS 350:
Principles
of Programming Languages.
[Archive]
Seminar:
Ergodic
Theory
CS 601:
Mathematical
Fundamentals
CS 698D:
Special topics in data compression
Math 404A:
Analysis II
CS 687:
Algorithmic Information Theory
CS 744:
Pseudorandom Generators
ESO 209:
Probability & Statistics. [Tutor in Sem II
2010-11]
ESc 101:
Fundamentals of Computing.
Education
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.)
Contact
Room 312
Department of Computer Science and Engg.
Indian Institute of Technology Kanpur
Kanpur,
Uttar Pradesh, India. PIN - 208016
Phone +91 (512) 259-7619
email satyadev@cse.iitk.ac.in
You may be interested in some of my Random Insights.