Winter 2026 Course Offerings (Tentative)
The following courses are tentatively scheduled for Winter 2026.
Courses offered in Winter 2026 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 | |
| Hardware & Software Systems; or Algorithms & Complexity | CS 798 SEM 001 | Adv Research Topics: Multicore Programming | |
| Hardware & Software Systems | CS 798 SEM 002 | Adv Research Topics: Digital Forensics and Incident Response | |
| Software Engineering | CS 846 | Adv Topics in Software Engineering: Advanced Topics in Software Testing and Debugging | |
| Hardware & Software Systems; or Algorithms & Complexity | CS 858 | Adv Topics in Cryptography, Security, and Privacy: Security and Privacy in Machine Learning | |
| Algorithms & Complexity | CS 860 | Adv Topics in Algorithms and Complexity: Special Topics in Theoretical Computer Science | |
| Graphics and User Interfaces | CS 888 | Adv Topics in Computer Graphics | |
| Graphics and User Interfaces | CS 889 SEM 001 | Adv Topics in HCI: Human-AI Interaction | |
| Graphics and User Interfaces | CS 889 SEM 002 | Adv Topics in HCI: Information Visualization/Storytelling with Data |