Computer Science - CA (COMP)

Topics in discrete mathematics, discrete probability, first order logic and models of computation.

Amortized analysis, graph algorithms, NP-complete problems, approximation algorithms, parallel algorithms.

A study of the principles and practice of distributed system design, including communication, synchronization, processes, file systems, and memory management.

Object-oriented software development, formal specification techniques and related CASE tools, software re-use, verification and validation, transformational development.

Programming paradigms and styles, object-oriented programming, formal semantics, programming language design.

Introduction to the area of computer security and current issues associated with computer security.

Concurrency control, crash recovery, query processing, semantic data models, advanced file access, distributed database systems, performance, case studies, advanced applications.

Problem solving, knowledge representation, language understanding, perception, learning, artificial neural networks.

Topics in evolutionary algorithms and genetic algorithms.

Cache, pipelining, memory design, interconnection networks, multiprocessor systems.

Presentation of various research techniques, in-depth study of a specific computer science problem, development of a written paper or project, and an oral defense.

Creative projects, including nonthesis research, that are supervised on an individual basis and which fall outside the scope of formal courses.

Formal courses given on a topical or special interest subject which may be offered infrequently; several different topics may be taught in one year or semester.

Research into a specific computer science problem, development of a scholarly written paper, and an oral defense.