Welcome! These are the course notes for Proseminar CSDE 502 A, Winter 2022 at the University of Washington. The notes are not final.