Study of the theoretical foundations of information and computation.