Textbook and Readings

Required textbook: Michael Sipser. Introduction to the Theory of Computation. Cengage Learning, 3rd edition, 2013.

Readings: This list will change as we progress through the semester, based on student interests and classroom discussions.

1.
Ken Thompson. Reflections on trusting trust. Communications of the ACM, 27(8):761–763, August 1984.
2.
Lov K. Grover. A fast quantum mechanical algorithm for database search. In Proceedings of the 28th Annual ACM Symposium on the Theory of Computing (STOC), pages 212–219, Philadelphia, PA, May 1996.