Graduate course exploring how programming language techniques (e.g., security type systems, symbolic execution, automated theorem proving) can be used to build provably secure (w.r.t. differential privacy, side-channels, information flow) software. [site]

Introduction to discrete mathematics, including logic, proof techniques, combinatorics, and graph theory. [site]

Advanced programming in C++, covering the Standard Template Library (STL) and general design patterns. [site]

Undergraduate data structures course and introduction to C++.

Introductory programming course in Python focusing on data science applications.