INSTRUCTOR: Sanjoy Baruah. (Click here for instructor's office hours, which are held at FB 134)

Teaching Assistants:

• Junbang William Liang (Email:liangjb[at]cs[dot]unc[doc]edu). Office Hours Thu 2-3pm, Fri 11am-12noon, in SN 331
• Zhenlin Xu (Email:zhenlinx[at]cs[dot]unc[doc]edu). Office Hours Tue 10-11am, Fri 11am-12noon in SN 331

TEXT: There is one required text for this course:

Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest and Clifford Stein. Introduction to Algorithms, Third Edition. MIT Press.

This text is available in the library, in electronic form; you may access it using your ONYEN

COMP 550 Algorithms and Analysis (3). Formal specification and verification of programs. Techniques of algorithm analysis. Problem-solving paradigms. Survey of selected algorithms.

SYLLABUS: Here is the syllabus (latest update: Aug 14) for this offering of COMP 550.

PREREQUISITES: COMP 410, and COMP 283 or MATH 381.

SPECIAL NEEDS: If you are entitled to extra accommodation for any reason (such as a disability), we make every reasonable attempt to accommodate you. However, it is your responsibility to discuss this with the instructor during the first week of the course.

TOPICS COVERED: Lecture outlines and handouts are made available here