Computer Science Graduate Course Descriptions (COMP)

MA SC 505. CONCRETE MATHEMATICS (3)

Topics in discrete mathematics, discrete probability, first order logic and models of computation.
Prerequisite: MATH 315.

511. DESIGN AND ANALYSIS OF ALGORITHMS (3)

Amortized analysis, graph algorithms, NP-complete problems, approximation algorithms, parallel algorithms.
Prerequisites: CMPSC 463, MA SC 505.

512. ADVANCED OPERATING SYSTEMS (3)

A study of the principles and practice of distributed system design, including communication, synchronization, processes, file systems and memory management.
Prerequisite: CMPSC 472 or permission of the program.

513. FORMAL METHODS FOR SOFTWARE ENGINEERING (3)

Object-oriented software development, formal specification techniques and related CASE tools, software re-use, verification and validation, transformational development.
Prerequisites: CMPSC 487W, COMP 511 or permission of the program.

516. ADVANCED PROGRAMMING LANGUAGES (3)

Programming paradigms and styles, object-oriented programming, formal semantics, programming language design.
Prerequisite: CMPSC 460 or permission of the program.

517. COMPUTER SECURITY (3)

Introduction to the area of computer security and current issues associated with computer security.
Prerequisite: MATH 315.

519. ADVANCED TOPICS IN DATABASE MANAGEMENT SYSTEMS (3)

Concurrency control, crash recovery, query processing, semantic data models, advanced file access, distributed database systems, performance, case studies, advanced applications.
Prerequisites: MATH 315, CMPSC 430.

520. ADVANCED ARTIFICIAL INTELLIGENCE (3)

Problem solving, knowledge representation, language understanding, perception, learning, artificial neural networks.
Prerequisite: COMP 511.

524. EVOLUTIONARY COMPUTATION (3)

Topics in evolutionary algorithms and genetic algorithms.
Prerequisite: COMP 511 or permission of the program.

545. COMPUTER ARCHITECTURE (3)

Cache, pipelining, memory design, interconnection networks, multiprocessor systems.
Prerequisite: CMPSC 312.

556. NEURONAL COMPUTATION (3)

Anatomy and physiology of neurons, artificial neural elements, computational neural models, neural image processing, pattern recognition and computation.
Prerequisites: MATH 430, CMPSC 402 or permission of the program.

580. MASTER'S PROJECT (3)

Research into a specific computer science problem, development of a scholarly written paper, and oral defense of the work. This class may be taken for credit twice.
Prerequisite: Permission of the program.

591. TOPICS IN COMPUTER SCIENCE (1 - 3)

Study of topics in computer science. This class may be repeated up to a maximum of 6 total credits.
Prerequisite: Permission of the program.

594. MASTER'S STUDIES (3)

Presentation of various research methodologies, techniques, and tools in organization and effective communication, and current research activities of faculty. In-depth study of a specific computer science problem, development of a written paper or project, and an oral defense
Prerequisite: A minimum of 2 of the 500-level computer science required courses or permission of program.

596. INDIVIDUAL STUDIES (1 - 9)

597. SPECIAL TOPICS (1 - 9)

600. THESIS RESEARCH (1-6)

Research into a specific computer science problem, development of a scholarly written paper, and an oral defense.
Prerequisite: A minimum of 2 of the 500-level computer science required courses or permission of program.