Winter 2022 Tentative Course Offerings

Some courses offered in Winter 2022 will be delivered in-person. Some online courses have pre-determined times for synchronous sessions, while others will set times for synchronous sessions during the first week of classes.

Instructor

Recommended Background

Area

Number

Course Title

Delivery Time

Prabhakar Ragde

Open

Programming Languages

CS 747

Software Verification Using Proof Assistants

Online

Hans De Sterck

   

CS 778

 

Blended – in-person and online

Time: TBA

Raouf Boutaba

Computer Networks, Operating Systems

Hardware and Software Systems

CS 798 –  001

Network Softwarization: Principles and Foundations

In-person

Time: TBA

Raouf Boutaba

Computer Networks, Operating Systems

Hardware and Software Systems

CS 798 – 002

Network Softwarization: Technologies and Enablers

In-person

Time: TBA

J. Ian Munro

A strong undergraduate course in data structures like CS 240 is required. A more advanced algorithms course such as CS 466 is helpful but not necessary

Algorithms

CS 840

Time and Space Efficiency

In-person

Time: TBA

Chengnian Sun

Open

Software Engineering

CS 846

Advance Topics in Software Testing and Debugging (#34)

In-person

Time: TBA

Gordon Cormack

Undergrad CS

Databases

CS 848

Information Retrieval

In-person

Time: TBA

Ali Mashtizadeh

Undergraduate operating systems, PL/compilers

Operating Systems/Programming Languages

CS 850

Programming Languages and Operating Systems

In-person

Time: TBA

Florian Kerschbaum

Undergrad security classes, familiarity with machine learning

Machine Learning, Databases (usually systems, but the suggested two areas are much closer)

CS 858 – 001

Adv. Topics Data Sec. & Priv.

In-person

Time: TBA

Diogo Barradas

Open

 

CS 858 – 002

Internet Censorship and Surveillance

In-person

Time: TBA

N. Asokan

Good understanding of programming in C/C++ required, prior undergraduate level courses in security (equivalent to CS 458) and operating systems (equivalent to CS 350) strongly recommended, but not mandated

Systems

CS 858 - 003

Selected Topics in Systems Security

In-person

Time: TBA

Lap Chi Lau

Linear algebra, probability, calculus, optimization

Algorithms and Complexity

CS 860

Eigenvalues and Polynominals

In-person

Time: TBA

Pascal Poupart

Undergrad courses in machine learning, statistics and linear algebra

Computational Statistics

CS 885

Reinforcement Learning

In-person

Time: TBA

Ming Li

UW AI/machine learning course

AI

CS 886

Deep Learning for Biotechnology

In-person

Time: TBA

Jian Zhao

Basic background in machine learning

Graphics and User Interfaces

CS 889

Visualization for AI Explainability

In-person

Time: TBA

Gladimir Baranoski Open background   CS 898 Synergy Between Computer Science and Biology

In-person

Time: TBA