Areas
Algorithmic Information Theory (Kolmogorov complexity) (03D32, 68Q30), Computability and Complexity in Analysis (03D78), Dynamical Systems (37XX)
Research Publications
Students Ph.D. M.Tech B.Tech Post-doctorate
Courses
CS 687:
Algorithmic
Information Theory
CS 350:
Principles
of Programming Languages.
[Archive]
IDC 608: Computability Theory (co-taught with
Ashutosh Kumar)
CS 744:
Pseudorandom Generators
Seminar:
Information Theory and Ergodic Theory
CS 601:
Mathematical
Fundamentals
CS 698D:
Special
topics in data compression
Math 404A:
Analysis
II
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.