College of Arts and Sciences
Director of Graduate Studies
(An asterisk [*] denotes associate membership in University Graduate School faculty.)
Adjunct Assistant Professors
(See also general University Graduate School requirements.)
One of the following options must be completed:
R Master's Research Project (Y790, 6 cr.), consisting of a survey or original research paper at a level appropriate for publication as a departmental technical report or as a conference presentation.
S Master's Software Project (Y790, 6 cr.), consisting of substantial individual input into a major software research and development project, documented in the public domain.
Q Completing the department's written Ph.D. qualifying exams with a full, unconditional pass, along with six additional credits in the natural and mathematical sciences (CS and mathematics permitted), approved in advance by the director of graduate studies.
C Adding to the CS course requirements three courses (9 credits or more) from the computer science listings: one P course carrying graduate credit, and in addition two CS courses at the 500 level or above, of which at most one can be a Y course.
A Adding to the CS course requirements three or more courses (9 credits or more) in an interdisciplinary program that applies computer science to another discipline. These courses must be in a program that has been approved in advance by the graduate faculty of the department; such a program may put additional constraints on the courses used to fulfill the CS course requirements.
TH University Master's Thesis (Y790, 6 credits), consisting of a formal master's thesis as prescribed by the University Graduate School.
For students wishing to accelerate their graduate study by combining it with an undergraduate program, the department offers the Professional Master Program in Computer Science, which leads to a B.S. and an M.S. in five years. It requires more graduate-level courses than the combined total of the B.S. and M.S., but fewer total credits. Admission to the program can be decided at the time of enrollment in the College of Arts and Sciences, but must be decided before completing 45 credit hours. Students in the program are considered undergraduates until the end of the semester in which they complete 122 credits towards the program requirements, at which point they undergo a transition to graduate status.
Computer Science Course Requirements
Three options are available:
The qualifying examination consists of two written tests (qualifiers), and an oral area qualifier.
The written qualifiers are offered once a year at the end of August. A student entering the program in August (or, with department approval, January) of a specific calendar year may take both exams in August of that year, the entry year, without penalty for failure. Students without deficiencies are expected to take both qualifiers in August after the first full year of study. Each qualifier may be retaken once, one year later, if the first non-entry attempt was unsatisfactory. Students entering with deficiencies may elect a one-year delay.
Oral Area Qualifier
Doctoral students in other departments may complete a minor in computer science by satisfying one of the following options:
Most of the Computer Science Department's courses at the 400 level and above are classified into four areas:
Foundations (middle digit 0 or 1)General courses not associated with a specific area are numbered with a middle digit 9. Courses that involve a major programming project are designated as "programming-in-the-large," and carry a course number with letter designation P.
A 500-level courses may be taken for graduate credit by graduate students in other departments, but are not applicable towards a graduate degree in computer science. Of these, only A593, A594, A595, and A596 are available for graduate credit towards the Ph.D. minor.
A504 Introductory C++ Programming (2 cr.) P: programming experience. Topics include aspects of C++ that are not object-oriented, basic data structures, standard libraries, and Unix tools for project management. Credit not given for both A504 and either A304, A597, A592, C212, H212, or BUS K201.
A506 Object-Oriented Programming in C++ (2 cr.) P: either A201, A304, A504, or A597. Topics include objects, classes, encapsulation, inheritance, polymorphism, templates, and exceptions. Credit not given for both A506 and either A306, A202, A592, A598, C212, or H212.
A538 Network Technologies and Administration (3 cr.) P: A110, EDUC W200, or equivalent computer literacy. Introduction to network principles and current network technology, both hardware and software. Network administration tools and techniques. Laboratory provides practical experience. Credit not given for both A538 and A338.
A546 User-Interface Programming (3 cr.) P: either A201, A202, A306, C212, A506, A597, A598, or equivalent experience. Learn to prototype and build graphical user interfaces for computer applications. Contemporary software design methodology. Students design and implement prototype interfaces to applications provided by the instructor. Extensive use will be made of both commercial and experimental software tools. Lab fee. Credit not given for both A546 and A346.
A548 Mastering the World Wide Web (3 cr.) P: two semesters of programming experience, or equivalent, and some knowledge of operating systems. Project-oriented course leading to ability to maintain a Web site with full functionality. Topics include background on internet network protocols and programming, Web server administration, advanced web design and authoring, Web protocols, interfacing services into the Web. Lab fee. Credit not given for both A548 and A348.
A591 Introduction to Computer Science (3 cr.) A first course in computer science for those intending to take advanced computer science courses. Introduction to programming and to algorithm design and analysis. Using the Scheme programming language, the course covers several programming paradigms. Lecture and laboratory. Credit not given for both A591 and C211.
A592 Introduction to Software Systems (3 cr.) P: programming experience. Design of computer software systems and introduction to programming. Topics include the C++ programming language and its data structure facilities; building and maintaining large projects; shell tools and system calls. Introduction to object-oriented programming. Lecture and laboratory. Credit not given for both A592 and C212.
A593 Computer Structures (3 cr.) P: A592. Structure and internal operation of computers. The architecture and assembly language programming of a specific computer are stressed, in addition to general principles of hardware organization and low-level software systems. Lecture and laboratory. Lab fee. Credit not given for both A593 and C335. May be applied towards the Ph.D. minor.
A594 Data Structures (3 cr.) P: A592. P or C: C241 and A593. Systematic study of data structures encountered in computing problems; structure and use of storage media; methods of representing structured data; and techniques for operating on data structures. Lecture and laboratory. Credit not given for both A594 and C343. May be applied towards the Ph.D. minor.
A595 Fundamentals of Computing Theory (3 cr.) P: C241. P or C: C212. Fundamentals of formal language theory, computation models and computability, the limits of computability and feasibility, and program verification. Credit not given for both A595 and B401. May be applied towards the Ph.D. minor, graduate credit available for CS M.S. candidates with special permission.
A596 Programming Languages (3 cr.) P: A594. Systematic approach to programming languages. Relationships among languages, properties and features of languages, and the computer environment necessary to use languages. Lecture and laboratory. Credit not given for both A596 and C311. May be applied towards the Ph.D. minor.
A597 Introduction to Programming I (3 cr.) Fundamental programming constructs, including loops, arrays, classes, and files. General problem-solving techniques. Emphasis on modular programming, user-interface design, and developing good programming style. Credit not given for both A597 and A201.
A598 Introduction to Programming II (3 cr.) P: A597, A201, A504, or A304. Advanced programming techniques: user-defined functions and types, recursion vs. iteration, parameter-passing mechanisms. Classic abstract data types and algorithms. Programming style. Object-oriented programming. Credit not given for both A598 and A202.
B403 Introduction to Algorithm Design and Analysis (3 cr.) Credit not given for both B403 and B503.
P423 Compilers (4 cr.) Credit not given for both P423 and P523.
P436 Introduction to Operating Systems (4 cr.) Credit not given for both P436 and P536.
B438 Fundamentals of Computer Networks (3 cr.) Credit not given for both B438 and B538. Not applicable towards a major in computer science.
B441 Digital Design (4 cr.) Credit not given for both B441 and B541. Not applicable towards a major in computer science.
P442 Digital Systems (4 cr.) Credit not given for both P442 and P542. Not applicable towards a major in computer science.
B443 Introduction to Computer Architecture (3 cr.) Credit not given for both B443 and B543.
B501 Theory of Computing (3 cr.) P: C241. Deterministic and nondeterministic automata, regular expressions, pumping lemmas; context-free languages, parsing, pushdown automata, context-sensitive languages, LBA, LR(k) languages, closure and decidability of language classes. Turing machines, random access machines, grammars, general recursive functions, equivalence of computation models, universal machines, relative computing. Unsolvability, semi-recursive sets, Rice's Theorem. Space and time complexity, NP completeness.
B502 Computational Complexity (3 cr.) Study of computational complexity classes, their intrinsic properties, and relations between them. Topics include time and space computational complexity. Reducibility and completeness of problems within complexity classes. Complexity of optimization problems. Complexity hierarchies. Relativization of the P =? NP conjecture. Parallel computation models and the class NC.
B503 Algorithms Design and Analysis (3 cr.) P: MATH M216, and C343. Models, algorithms, recurrences, summations, growth rates. Probabilistic tools, upper and lower bounds; worst-case and average-case analysis, amortized analysis, dynamization. Comparison-based algorithms: search, selection, sorting, hashing. Information extraction algorithms (graphs, databases). Graphs algorithms: spanning trees, shortest paths, connectivity, depth-first search, breadth-first search.
B510 Introduction to Applied Logic (3 cr.) Structures: relations between structures, term structures. Description: notation and meaning, substitution operations, first order formulas, database languages, program verification conditions, semantics valuation, normal forms, quantifier reduction, axiomatic theories. Proof: resolution, sequential calculi, natural deduction, automated theorem proving, semantic completeness. Limits of formalization: compactness, undecidability of truth, undecidability of canonical theories, non-formalizability of database theory.
P515 Specification and Verification (3 cr.) P: C311. Tools and techniques for rigorous reasoning about software and digital hardware. Safety, reliability, security, and other design-critical applications. Decision algorithms. Projects involving the use of automated reasoning, such as model checkers, theorem provers, and program transformation. Credit not given for both P415 and P515.
B521 Programming Language Principles (3 cr.) Systematic approach to programming languages. Relationships among languages, properties and features of languages, the computer environment necessary to support language execution.
B522 Programming Language Foundations (3 cr.) P: C311 or B521, and B510. Introduction to denotational, operational, and axiomatic approaches to programming language semantics. Semantic analysis of major programming language features. Logics of programs.
P523 Programming Language Implementation (3 cr.) P: B521 or C311. Implementation of traditional and nontraditional computer programming languages. Compilation, including lexical analysis, parsing, optimization, code generation, and testing. Run-time support, including run-time libraries, storage management, input-output. Comparison of implementation techniques. Extensive laboratory exercises.
B524 Parallelism in Programming Languages and Systems (3 cr.) P: P436 or P536, and either C311, H311 or B521, C343 or H343. Fundamentals of parallel computation, with an emphasis on parallel programming methodology and programming languages. Topics include: parallel algorithms; major paradigms for parallel software construction; (data parallelism, task/thread parallelism and CSP); compiling programs for parallel computers.
B534 Distributed Systems (3 cr.) B534 is a balanced treatment of fundamentals and practice of distributed systems. The foundational models, algorithms, and principles upon which distributed systems are based are studied in detail.
P536 Advanced Operating Systems (3 cr.) P: C335 and C343, or honors versions. Advanced topics in operating systems, such as: multi-tasking, synchronization mechanisms, distributed system architecture, client-server models, distributed mutual exclusion and concurrency control, agreement protocols, load balancing, failure recovery, fault tolerance, cryptography, multiprocessor operating systems.
B538 Networks and Distributed Computing (3 cr.) P: P436 or P536. Basic concepts and technologies of computer networks. Protocols and protocol stacks. Client-server models. Distributed object technology. High-performance and high-bandwidth techniques. Distributed operating systems.
B541 Hardware System Design I (3 cr.) P: C335 or honors version. Structured approach to hardware design, emphasizing hardwired and microprogrammed control. Boolean algebra, hardware building blocks, architecture and control, implementation issues. In the laboratory, students build a working computer using hardware prototyping technologies. Basic training in the use of design and simulation software. Lecture and laboratory.
P542 Hardware System Design II (3 cr.) P: B541 or B441. Depending on instructor, a selection of topics in system-level design, such as simulation, logic synthesis, high-level synthesis, codesign, embedded software, verification, test, requirements specification, and others. Projects in system-level design. Computer-aided design tools. Lecture and laboratory.
B543 Computer Architecture (3 cr.) P: C335 and C343 or honors versions. Fundamentals of computer design, instruction processing and performance analysis. Architecture of single-processor systems, focusing on pipelining, memory and memory hierarchies, and interconnect technology. Exploration of architecture classes such as high-performance multiprocessors, massively parallel computers, embedded systems.
B551 Elements of Artificial Intelligence (3 cr.) P: C343 or H343, good knowledge of LISP or Scheme. Introduction to major issues and approaches in artificial intelligence. Principles of reactive, goal-based, and utility-based agents. Problem-solving and search. Knowledge representation and design of representational vocabularies. Inference and theorem proving, reasoning under uncertainty, planning. Overview of machine learning.
B552 Knowledge-Based Computation (3 cr.) P: B551. Knowledge-based methods for artificial intelligence systems: knowledge representation, organization, and application. Typical content includes principles of memory organization, indexing and retrieval. Memory-based, analogical, and case-based reasoning. Applications to understanding, explanation, planning, and advisory systems.
B553 Biomorphic Computation (3 cr.) P: B551. Biologically-inspired approaches to the design of intelligent systems. Distributed and perceptually-grounded representations. Temporal processing. Neural-network approaches to vision and natural language processing. Evolutionary computation. Comparison of symbolic and biomorphic approaches to intelligence. Additional topics may include an introduction to analog computing and dynamical systems.
B561 Advanced Database Concepts (3 cr.) P: C241, C335, and C343 or honors versions. Database models and systems, especially relational and object-oriented; relational database design theory; structures for efficient data access; query languages and processing; database applications development; views. Transaction management: concurrency and recovery.
P565-P566 Software Engineering I-II (3-3 cr.) P: C343, B461 previously or B561 concurrently. Analysis, design and implementation of software systems. Requirements specification: data and process modeling. Software design methodologies. Software quality assurance: testing and verification. Software development processes.
P573 Scientific Computing (3 cr.) P: MATH M303 or M301, M343, and C212 or H212. For students from all scientific, engineering, and mathematical disciplines, this course provides an overview of computer hardware, software, and numerical methods that are useful on scientific workstations and supercomputers. Topics include high-performance computer architectures, software tools and packages, characteristics of numerical methods in common use, graphical presentation of results, and performance analysis and improvement.
B581 Advanced Computer Graphics (3 cr.) P: C343, MATH M301 or M303, or equivalent experience. Introduction to graphics hardware and software. Two-dimensional graphics methods, transformations, and interactive methods. Three-dimensional graphics, transformations, viewing geometry, object modeling and interactive manipulation methods. Basic lighting and shading. Video and animation methods.
B582 Image Synthesis (3 cr.) P: B581, MATH M215. Raster image display: color theory, gamma correction, and filtering. Advanced shading methods: local illumination models, global illumination models. Surface display, including ray tracing and Z-buffering. Solid modeling: spline surfaces, CSG, superquadrics, and deformations. Scientific visualization: isosurfaces and volume rendering.
B599 Teaching in Computer Science (1 cr.) General principles of teaching and practical experiences that relate to teaching computer science. An important feature of the course is the micro-teaching, in which each participant prepares and delivers short lectures to the seminar participants. Each presentation is followed by critical analysis and discussion.
B603 Advanced Algorithms Analysis (3 cr.) P: B503. Advanced topics in analysis of algorithms, including fast algorithms for classical problems, lower bounds results, and statistical behavior.
B607 Philosophy of Computation (3 cr.) P: consent of the instructor. Critical examination of the conceptual foundations of computing. Several different views assessed with respect to conceptual, explanatory, and empirical criteria. Primary focus on formal symbol manipulation, recursive function theory, effective computability, computational complexity, digitality, and information processing. Some nonstandard approaches also considered: connectionism, dynamics, and artificial life.
B609 Topics in Algorithms and Computing Theory (1-6 cr.) P: instructor's permission. Special topics in algorithms and computing theory. May be repeated for credit with permission.
B619 Topics in Applied Logic (1-6 cr.) P: instructor's permission. Special topics in applied logic. May be repeated for credit with permission.
B621 Advanced Concepts in Programming Languages (3 cr.) P: either C311, H311, or B521. P or C: P423 or P523. Discussion of current issues in the design of programming languages. Modularity, abstraction, and static analysis. Applicative and nonapplicative models. Single and multiple processing.
B622 Programming Language Type Systems (3 cr.) P: C311 or B521. Theoretical foundations and engineering techniques for modern type systems, focusing on polymorphism and subtyping in typed lambda-calculi; applications, including type systems for objects, abstract data types, and modules; issues in type checker implementation and polymorphic type inference.
B629 Topics in Programming Languages (1-6 cr.) P: C311 or B521 and instructor's permission. Special topics in programming languages. May be repeated for credit with permission.
B644 Very Large Scale Integration (3 cr.) P: B441 or B541. Basic theory and practice required to convert hardware algorithms and architecture to silicon structures. Use of state-of-the-art design tools for integrated circuits. Lab fee.
B649 Topics in Systems (1-6 cr.) P: instructor's permission. Special topics in systems. May be repeated for credit with permission.
B651 Natural Language Processing (3 cr.) P: B551. R: B552 or B553. Theory and methods for natural language processing. Algorithms for sentence parsing and generation. Context-free and unification grammars. Question-and-answer systems. Analysis of narratives. Finite-state approaches to computational phonology and morphology. Machine translation. Machine learning of natural language. Speech recognition. Neural-network and statistical alternatives to symbolic approaches.
B652 Computer Models of Symbolic Learning (3 cr.) P: B552. Symbolic artificial intelligence methods for learning. Inductive and explanation-based generalization. Failure-driven learning. Case-based learning. Typical content includes operationality of explanations and utility of learning. Goal-driven learning. Criteria for when, what, and how to learn. Learning in integrated architectures.
B657 Computer Vision (3 cr.) P: B551. Concepts and methods of machine vision as a branch of artificial intelligence. Basics of digital image processing. Local and global tools for deriving information from image data. Model-based object recognition and scene understanding.
B659 Topics in Artificial Intelligence (1-6 cr.) P: instructor's permission. Special topics in artificial intelligence. May be repeated for credit with permission.
B661 Database Theory and Systems Design (3 cr.) P: B461 or B561. Database models: relational, deductive, complex-object, object-oriented. Query languages: relational algebra and calculus, datalog, fixpoint logics, object-oriented query languages. Transaction management theory: concurrency control, recovery, distribution. Post-relational and object-oriented database systems.
B665 Software Engineering Management I (3 cr.) P: B561 or BUS S560. Topics include the high cost of software, the software life cycle, understanding programming teams, and methodologies for controlling development. Presentation of readings and supervision of programming teams producing software products required.
B666 Software Management Implementation II (1-3 cr.) P: B665. Continuation of projects from B665. Periodic reports and a final paper required. If taken for two or more credits, an additional project or paper is required.
B669 Topics in Database and Information Systems (1-6 cr.) P: instructor's permission. Special topics in database and information systems. May be repeated for credit with permission.
B673 Advanced Scientific Computing (3 cr.) P: P573 and MATH M471. Multiprocessor organization: vectorization, memory organization, processor topologies and architectures. Models of parallelism. Programming language and systems for scientific and high-performance computing. Environments for interactive scientific experiments and databases. Distributed programming tools. Parallelism in scientific problems: parallel algorithmic techniques, parallel algorithms and models, parallel performance analysis and debugging.
B679 Topics in Scientific Computing (1-6 cr.) P: instructor's permission. Special topics in scientific computing. May be repeated for credit with permission.
B689 Topics in Graphics and Human Computer Interaction (1-6 cr.) P: instructor's permission. Special topics in graphics and human computer interaction. May be repeated for credit with permission.
Y790 Graduate Independent Study (1-6 cr.) Independent study under the direction of a faculty member, culminating in a written report. May be repeated for credit. R grade not allowed. The different departmental options for independent study are: Research and Reading, Software System Development, Master's Research Project, Master's Software Project, and a University Master's Thesis.
Y798 Professional Practicum/Internship (non-credit) P: Current enrollment in graduate degree program in computer science. Provides for participation in graduate level professional training and internship experience.
Y890 Thesis Readings and Research (1-12 cr.) Research under the direction of a member of the graduate faculty leading to a Ph.D. dissertation.