1 Faculty research interests, departmental computer systems, computer science research, report preparation. S, F grading.

Categories as theories; formal approaches to specifications and homomorphisms of computational structures.

Discrete structures, automata, formal languages, recursive functions, algorithms, and computability.

Syntax; operational and denotational sematics. Cooperative course taught by WSU, open to UI students (CS 510).

Basic principles of software reuse, compositional and generative reuse, with specific topics selected from current literature, reverse engineering.

Formal specification, abstraction, and analysis of software using a formal specification language; case studies of design.

Experimental strategies to assess and understand software processes and artifacts (experiments, case studies, field observations, surveys).

Graduate-level counterpart of Cpt S 427; additional requirements. Credit not granted for both Cpt S 427 and 527.

Graduate-level counterpart of Cpt S 430; additional requirements. Credit not granted for both Cpt S 430 and 530.

Same as Math 544.

Same as Math 545.

Same as Math 546.

3 Graduate-level counterpart of Cpt S 434; additional requirements. Credit not granted for both Cpt S 434 and 534.

Data taxonomy; sampling; plotting; using and extending a visualization package; designing visualizations; domain-specific techniques.

Intelligent computer programs; simulation of cognitive processes.

Graduate-level counterpart of Cpt S 442; additional requirements. Credit not granted for both Cpt S 442 and 542.

Parallel processing inspired by natural neural systems; neural computer architecture, supervised and unsupervised learning, generalization, implementation, and application; neurophysiology basis.

Solid modeling, visual realism, light and color models, advanced surface generation techniques.

Basic concepts, fundamental theories, and techniques of genetic algorithms; applications.

Parallel machine models, principles for the design of parallel algorithms, interconnection networks, systolic arrays, computational aspects to VLSI.

Data models: file organization and searching; database system design.

Graduate-level counterpart of Cpt S 453; additional requirements. Credit not granted for both Cpt S 453 and 553.

Same as E E 555.

Graduate-level counterpart of Cpt S 456; additional requirements. Credit not granted for both Cpt S 456 and 556.

ATM networks, optical WDM networks, and wireless/mobile networks; access, transport, and routing protocols.

GSM, CDMA, Mobile-IP, MANET, WATM; routing, mobility management, authentication, naming, address resolution; transport layer and security issues due to mobility.

Structure of multiprogramming and multiprocessing; efficient allocation of systems resources; design implementation and performance measurement.

Parallel and distributed processors; multiprocessors; interconnection topologies; language-directed architecture; special-purpose architecture.

Fault tolerance aspects involved in design and evaluation of systems; methods of detection and recovery; multicast, middleware, and reconfiguration.

Graduate-level counterpart of Cpt S 464; additional requirements. Credit not granted for both Cpt S 464 and 564. Cooperative course taught by WSU, open to UI students (CS 504).

Graduate-level counterpart of Cpt S 466; additional requirements. Credit not granted for both Cpt S 466 and 566.

Introduction to building computer systems that learn from their experience; classification and regression problems; unsupervised and reinforcement learning.

Prereq cell biology, probability and statistics, graduate standing in computer science, or permission of the instructor. Computational methods for solving scientific problems related to information processing in biological systems at the molecular and cellular levels.

Prereq cell biology, probability and statistics, and graduate standing in computer science or permission of the instructor. Provides programming skills needed to address current computational problems in bioinformatics; emphasis on mathematical development and software design.

3 May be repeated for credit.

V 1-3 May be repeated for credit; cumulative maximum 6 hours. Current topics in computer science.

1 May be repeated for credit; cumulative maximum 3 hours.

Variable credit S, F grading.

Variable credit S, F grading.

Variable credit S, F grading.