I am a Teaching Assistant and work with Prof. Michelangelo Grigni for CS424/524: Theory of Computation. I mainly work on grading homework.
This course taks an abstract view of computation, including the model of the computation, and their ability to solve fundamental problems. This course will also work on how to write and talk about the problems in terms of proofs.
Introduction to the Theory of Computation (3rd edition) by Sipser.