High-dimensional probability and random matrices: Probability course | Zoonk