Theory of Computation

Code 4613 - Theory of Computation concerns the mathematical foundations of computing, including formal models such as automata, Turing machines, and lambda calculus, as well as algorithmic analysis, computational complexity and decidability. It encompasses research on the limits of what can be computed and the resources required for computation.