Michael Stinson mjs193 -bolded Lecture, Instructor, Recitations, and TA