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.