Winter 2027 Course Offerings
The following courses are scheduled for Winter 2027.
Courses offered in Winter 2027 will be delivered in-person, unless specified below.
For delivery method and date and time of offer please look at the schedule of classes once its been updated. For course instructor information, please follow the instructions linked here.
|
Recommended Background |
Area |
Number |
Course Title |
| Programming Languages | CS 747 | Software Verification Using Proof Assistants | |
| Algorithms & Complexity | CS 761 | Randomized Algorithms | |
| Scientific and Symbolic Computing | CS 778 | Numerical Solutions of Partial Differential Equations | |
| Health Informatics | CS 792 | Data Structures and Standards in Health Informatics | |
| Scientific and Symbolic Computing | CS 794 | Optimization for Data Science | |
| Hardware & Software Systems; or Algorithms & Complexity | CS 798 | Adv Research Topics: Multicore Programming | |
| Software Engineering | CS 846 | Adv Topics in Software Engineering: Advanced Topics in Software Debugging and Testing | |
| Data Systems | CS 848 | Adv Topics in Databases: SeQureDBs - Secure and Private Data Systems | |
| Hardware & Software Systems | CS 856 | Adv Topics in Distributed Computing: Network Transport Protocols - Modeling, Analysis, and Performance Exploration | |
| Algorithms & Complexity | CS 860 | Adv Topics in Algorithms and Complexity: 100 Algorithms | |
| Graphics and User Interfaces | CS 888 | Adv Topics in Computer Graphics: Physics Simulation | |
| Graphics and User Interfaces | CS 889 | Adv Topics in Human Computer Interaction: Human-Computer Interaction for Art and Creativity |