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. If two CS 998 courses are taken, they must be taught by different instructors.

At least two courses must be taken from three different breadth areas (see list below), with one of the groups being the Software group. Students must obtain a 3.4 GPA in the six breadth courses. The student designates which four courses are used to compute the GPA.

This requirement must be satisfied by taking a non-CS 800-level or 900-level course. The course must be approved by the student's research mentor.

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 interdisciplinary breadth 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.