Areas
Algorithmic Information Theory (03D32, 68Q30), Computability and Complexity in Analysis (03D78), Dynamical Systems (37XX)
Upcoming:
CCR 2017 will be held
in Mysore/Mysuru. email me if you have conference-related queries.
Research Publications Talks
Students B Tech M Tech/M Sc Ph. D
Courses
Math 404A:
Analysis II
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.
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.