Chuck Kahn
CS 810 (Complexity Theory) notes