Winter 2025 Course Offerings (tentative)
The following courses are scheduled for Winter 2025. This list is tentative - a final course list will be posted later in the Fall term.
Courses offered in Winter 2025 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 |
Reserved for MDSAI students only. | CS 738 | Data Engineering for Data Science | |
Open. | CS 747 LEC 001 | Software Verification Using Proof Assistants | |
Mathematical maturity, including undergraduate-level probability theory, data structures, and algorithm design. | Algorithms and Complexity | CS 761 | Randomized Algorithms |
Basic knowledge of calculus, linear algebra, and probability; programming proficiency (no specific language required but Python is preferred); a machine learning/AI course (e.g., CS 480/680, CS 486/686) is recommended but not required. |
Artificial Intelligence | CS 784 LEC 001 (PDF) | Computational Linguistics |
Open | Health Informatics | CS 792 LEC 001 (PDF) | Data Structures and Standards in Health Informatics |
Reserved for only graduate MHI students. Online. | Health Informatics | CS 792 LEC 081 (PDF) | Data Structures and Standards in Health Informatics |
Open. Recommended C/C++ experience. | Hardware & Software Systems or Algorithms & Complexity | CS 798 LEC 001 (PDF) | Advanced Research Topics: Multicore Programming |
Open | Hardware & Software Systems | CS 798 LEC 002 | Advanced Research Topics: Digital Forensics and Incident Response |
Open | Software Engineering | CS 846 SEM 001 | Advanced Topics in Software Engineering: Advanced Topics in Software Testing and Debugging |
Open. Recommended to have at least one upper-year systems course. | Software Engineering | CS 846 SEM 002 | Advanced Topics in Software Engineering: Empirical Software Evolution |
Open | Data systems, Hardware & Software Systems | CS 848 SEM 001 | Advanced Topics in Data Systems: Data Infrastructure |
CS students who have taken an introductory networking course (CS 456 or CS 656) | Hardware & Software Systems | CS 856 SEM 001 | Advanced Topics in Distributed Computing: Programmable Networks |
Undergraduate security course is helpful, but not required. | Hardware & Software Systems or Algorithms & Complexity | CS 858 SEM 001 | Advanced Topics in Cryptography, Security, and Privacy: Security and Privacy in Artificial Intelligence and Machine Learning |
CS 489 (basic cryptography) or equivalent. | CS 858 SEM 002 | Advanced Topics in Cryptography, Security, and Privacy: Topics in Secure Computation | |
Recommended background in linear algebra, probability, convex optimization, algorithms | Algorithms & Complexity | CS 860 SEM 001 | Advanced Topics in Algorithms and Complexity: Algorithmic Spectral Graph Theory |
Randomized algorithms and/or advanced analysis of algorithms. Students without this background are encouraged to take CS 761 concurrently. | Algorithms & Complexity | CS 860 SEM 002 | Advanced Topics in Algorithms and Complexity: Randomized Complexity Theory |
Open | Quantum Information and Computation | CS 867 SEM 001 | Advanced Topics in Quantum Computing |
Open | Computational Statistics | CS 885 SEM 001 | Advanced Topics in Computational Statistics: Reinforcement Learning |
Open | Artificial Intelligence | CS 886 SEM 001 | Advanced Topics in Artificial Intelligence: Multiagent Systems - Cooperation, Coordination, and Alignment |
Open | Artificial Intelligence | CS 886 SEM 002 | Advanced Topics in Artificial Intelligence: Graph Neural Networks |
Open | Graphics & User Interfaces | CS 888 SEM 001 | Advanced Topics in Computer Graphics: Supercollaborative Research in Computer Graphics |
Recommended background in linear algebra, calculus, and probability | Graphics & User Interfaces | CS 888 SEM 002 | Advanced Topics in Computer Graphics |
Some experience in studio arts, graphic design, or similar. Please contact instructor. | Graphics & User Interfaces | CS 889 SEM 001 | Advanced Topics in HCI: Interactive Art and Creativity |
Open | Graphics & User Interfaces | CS 889 SEM 002 (PDF) | Advanced Topics in HCI: Interfaces for Human-AI Interaction |
Open | Artificial Intelligence | CS 898 SEM 001 | Advanced Special Topics in Computer Science: Topics in Computer Vision |