|Update to Section 5.4 of the Graduate Student Handbook (June, 2016)
5.4 The Analytic Requirement evaluates the analytic ability, and knowledge of formal models, relevant to computer science. It consists of two groups of analytic areas: Group A: Theory, Group B: Systems and Applications, and Group A/B: Logic. The Logic area will meet either the Group A or B Requirement.
Students may fulfill the Analytic Requirement by demonstrating depth in understanding of the required areas, including ONE of the areas of type A, and TWO of the areas of type B. The Analytic Areas, and the related courses on which they are based, are listed below. Note that some courses may not be offered every year.
To pass the Analytic Requirements, students must pass each area is defined by a pair of courses. The pairs and areas are:
Group A Theory
Any pair of courses from this category will satisfy this requirement
Csi 503 Algorithms and Data Structures
Csi 604 Computers and Computational Intractability
Csi 509 Theory of Computation
Group B Systems and Applications
Csi 508 Database Systems/Csi 531 Data Mining
Csi 535 Artificial Intelligence I and any of the following three courses: Csi 550 Information Retrieval /635 Artificial Intelligence/ ICSI 536 Machine learning
Csi 524 Information Security/Csi 526 Cryptography
Csi 533 Theory and Practice of Multimedia Computing /Csi 671 (Inf 671) Computer Vision
Csi 500 Operating Systems /Csi 516 Computer Communications Networks
Csi 517 Compiler Design I/Csi 519 Advanced Programming Concepts
Group A/B Logic
Csi 530 Introduction to Mathematical Logic / Csi 538 Computational Logic*
* May be used once as either Type A or Type B
A student can pass a given area in one of three ways:
1) Take both courses of the area and achieve A- or better in both.
2) Publish~ a paper in a peer-reviewed venue in that area.
3) Pass an analytic exam in that area.
~(The dissertation committee determines what constitutes an acceptable publication)