Welcome to CS-524, Theory of Computing! I am your instructor, Michelangelo Grigni (home, email, hours). We meet 1:00pm to 2:15pm (Eastern Time) Tuesdays and Thursdays, in MSC Room N302.

CS-524 is an introductory graduate course, co-taught with CS-424. CS-424 is an undergraduate course with the same name, same meetings, same book, and similar assignments and exams.  To keep our teaching resources in one place, I invite all CS-524 students to join the CS-424 Canvas roster (in the role "Student Non-OPUS").  You should receive an email invitation. If you are in CS-524 but you cannot access the CS-424 Canvas site, please let me know and I'll resend the invitation to you.

For more details about CS-524, go see the CS-424 site and syllabus. Compared to CS-424, students in CS-524 will see some differences in the assignments and the exams (they may be a little harder). Because this is a graduate course, we must also modify the course grading scheme:

• an undergraduate course grade of C- maps to a graduate course grade of C (since graduate courses do not have C- grades)
• an undergraduate course grade of D or D+ maps to a graduate course grade of F (since graduate courses do not have D or D+ grades)

I expect most of you will get higher grades, so those differences will not matter!

The behavior of graduate students is governed by the LGS Honor Code. If you have a question about appropriate work or behavior in this class, please just ask me.