Computer Science (Ph.D.)

The courses must satisfy the following requirements:

• Two must be implementation intensive (see list below).
• All students must take CS 845 Formal Specification and Verification of Software Systems.
• At most two can be CS 998 Independent Study.

Courses must be taken from at least four breadth groups (see list below), with one of the groups being the Theory group. Students must obtain a 3.4 GPA in the four breadth courses. The student designates which four courses are used to compute the GPA.

A research tool represents knowledge and skills in another discipline that can help the student carry out his or her research plan. This is typically satisfied by taking a non­-computer­-science graduate level course.

Under the direction of a depth adviser and a depth committee, the student carries out some preliminary research that is likely to lead to a dissertation topic. The student must produce two written reports (a literature survey and a research report) and make a presentation as part of an oral examination on the material. After the student has successfully completed the depth exam and has satisfied the research tool requirement, the student is advanced to candidacy.

The student must complete original research and present and defend a dissertation describing that research. The research is carried out under the supervision of a faculty member dissertation adviser and a dissertation committee of at least five members, including one from outside the department.