Summary: Course Syllabus
COMP 455 Models of Languages and Computation
Meeting Place: SN011
Meeting Time: 9:30 10:45, TuTh
Course Web Page: http://www.cs.unc.edu/anderson/teach/comp455
Instructor: Prof. Jim Anderson
Office: FB 112
Office Hours: 11:00am-11:30am on MW,
12:30pm-1:00pm on TuTh
Grader: Jeremy Erickson
TA Office: SN 137
As Jeremy is only a grader, and not a TA, please only
contact him about grading issues.
Goals of the Course: The primary goal is study various computational models and how they relate to
each other. A secondary goal is to become unafraid of formal proofs.