Semester 1

Fourier Analysis

Portal

Prerequisite: Analysis 1.  This class is not intended for students who have already taken Functional Analysis

Interactive Theorem Proving

Morrison

Prerequisites: HD in MATH1116, MATH2322, COMP 1140, plus access to a computer with Lean

Nonlinear Hyperbolic PDEs

Q Wang

Linear Lie groups and Lie algebras

Onn

Equivariant Stable Homotopy Theory

Angeltveit

prerequisite: algebraic topology 

Ergodic Theory

Schindler

Semester 2

Courses TBA