Courses

• CAS CS 451: Distributed Systems
  Programming-centric introduction to how networks of computers are structured to operate as coherent single systems. Introducing principles of architecture, processes, communications, naming, synchronization, consistency and replication, fault tolerance and security, and paradigms such as web-based, object-based, file system, and consistency-based.
• CAS CS 455: Computer Networks
  Concepts underlying the design of high-performance computer networks and scalable protocols. Topics include Internet design principles and methodology, TCP/IP implementation, packet switching and routing algorithms, multicast, quality of service considerations, error detection and correction, and performance evaluation.
• CAS CS 460: Introduction to Database Systems
  Introduction to database management systems. Examines entity-relationship, relational, and object-oriented data models; commercial query languages: SQL, relational algebra, relational calculus, and QBE; file organization, indexing and hashing, query optimization, transaction processing, concurrency control and recovery,integrity, and security.
• CAS CS 480: Introduction to Computer Graphics
  Introduction to computer graphics algorithms, programming methods, and applications. Focus on fundamentals of two- and three-dimensional raster graphics: scan-conversion, clipping, geometric transformations, and camera modeling. Introduces concepts in computational geometry, computer-human interfaces, animation, and visual realism.
• CAS CS 491: Directed Study
  
• CAS CS 492: Directed Study
  
• CAS CS 512: Formal Methods for High-Assurance System Design and Analysis
  Introduction to formal specification, analysis, and verification of computer system behavior. Topics include formal logical reasoning about computer programs and systems, automated and semi-automated verification, and algorithmic methodologies for ascertaining that a computing system satisfies its formally specified properties.
• CAS CS 520: Programming Languages
  Concepts of programming languages: data, storage, control, and definition structures; concurrent and distributed programming; functional and logic programming.
• CAS CS 530: Advanced Algorithms
  Studies the design and efficiency of algorithms in several areas of computer science. Topics are chosen from graph algorithms, sorting and searching, NP-complete problems, pattern matching, parallel algorithms, and dynamic programming.
• CAS CS 535: Complexity Theory
  Covers topics of current interest in the theory of computation chosen from computational models, games and hierarchies of problems, abstract complexity theory, informational complexity theory, time-space trade-offs, probabilistic computation, and recent work on particular combinatorial problems.
• CAS CS 538: Fundamentals of Cryptography
  Basic Algorithms to guarantee confidentiality and authenticity of data. Definitions and proofs of security for practical constructions. Topics include perfectly secure encryption, pseudorandom generators, RSA and Elgamal encryption, Diffie-Hellman key agreement, RSA signatures, secret sharing, block and stream ciphers.
• CAS CS 542: Machine Learning
  Introduction to modern machine learning concepts, techniques, and algorithms. Topics include regression, kernels, support vector machines, feature selection, boosting, clustering, hidden Markov models, and Bayesian networks. Programming assignments emphasize taking theory into practice, through applications on real-world data sets.
• CAS CS 552: Introduction to Operating Systems
  Examines process synchronization; I/O techniques, buffering, file systems; processor scheduling; memory management; virtual memory; job scheduling, resource allocation; system modeling; and performance measurement and evaluation.
• CAS CS 558: Computer Networks Security
  Introduces basic principles and techniques of building secure information systems. Covers network security, web security, privacy, and basic cryptographic tools (symmetric and public key cryptography, encryption, key exchange, hashing and signatures). Broader social, legal and political aspects of security addressed.
• CAS CS 562: Advanced Database Applications
  Research issues in the design and implementation of modern database systems. Spatial, temporal, and spatiotemporal index structures. Indexing methods for image and multimedia databases and data warehouses. New data analysis techniques for large databases, clustering and rule discovery for very large datasets.
• CAS CS 565: Data Mining
  Introduction to data mining concepts and techniques. Topics include association and correlation discovery, classification and clustering of large datasets, outlier detection. Emphasis on the algorithmic aspects as well as the application of mining in real-world problems.
• CAS CS 585: Image and Video Computing
  Introduction to images and video as multimedia data types and algorithms for image and video understanding based on color, shading, stereo, and motion. Topics include face recognition, human-computer interfaces, animal and vehicle tracking, and medical image analysis.
• CAS CS 591: Topics in Computer Science
  Various issues in computer science. Two sections are offered Fall 2014. Students may take one or both for credit. Section C1: Compressive Sensing. Complete coverage of the emerging field of compressed sensing, focusing on describing the novel ideas that have emerged in sparse recovery, with emphasis on theoretical foundations, practical numerical algorithms, and various related signal processing applications. Section E1: Cyber Conflict & Internet Freedom. (Meets with CAS IR 500 D1.) Examines the problems confronting the world in addressing network and computer insecurity while upholding privacy and civil liberties. While the U.S. has championed the "freedom-to-connect" as a human right, it has also established a new military command for cyberspace.
• CAS EC 101: Introductory Microeconomic Analysis
  The first semester of a standard two-semester sequence for those considering further work in management or economics. Coverage includes economics of households, business firms, and markets; consumer behavior and the demand for commodities; production, costs, and the supply of commodities; price determination; competition and monopoly; efficiency of resource allocation; governmental regulation; income distribution; and poverty. Carries social science divisional credit in CAS.
• CAS EC 102: Introductory Macroeconomic Analysis
  The second semester of a standard two-semester sequence for those considering further work in management or economics. National economic performance; the problems of recession, unemployment, and inflation; money creation, government spending, and taxation; economic policies for full employment and price stability; and international trade and payments. Carries social science divisional credit in CAS.

Back to full list of College of Arts & Sciences