Abstract: A standard Theory of Computation course for undergraduates spans three important topics that are at the core of the computer science (CS) curriculum: automata and languages, computability, ...

This course gives an introduction to the mathematical foundations of computation. The course will look at Turing machines, universal computation, the Church-Turing thesis, the halting problem and ...

This course provides an introduction to modern cryptography. Topics include symmetric cryptography, public-key cryptography, digital signatures, key agreement, and zero-knowledge proofs. We will also ...

Physicists and computer scientists have recently expanded the modern theory of the thermodynamics of computation. By combining approaches from statistical physics and computer science, the researchers ...