Video + Notes for his lectures MIT 6.045 Automata, Comput, & Complexity can be found here:

video lectures: http://web.de.mit.edu/public/courses/6/6.045/2015spring/

notes: http://stellar.mit.edu/S/course/6/sp15/6.045/materials.html