MATH-522: Empirical processesFrom prototypical examples of estimators used by statisticians, to more complex nonparametric models, methods and theorems will be taught to study their (non)asymptotic behavior, when defined as mappi
MATH-336: Randomization and causationThis course covers formal frameworks for causal inference. We focus on experimental designs, definitions of causal models, interpretation of causal parameters and estimation of causal effects.
PHYS-207(a): General physics : quantaCe cours est une introduction à la mécanique quantique. En partant de son développement historique, le cours traite les notions de complémentarité quantique et le principe d'incertitude, le processus
PHYS-105: Advanced physics II (thermodynamics)Ce cours présente la thermodynamique en tant que théorie permettant une description d'un grand nombre de phénomènes importants en physique, chimie et ingéniere, et d'effets de transport. Une introduc
MATH-444: Multivariate statisticsMultivariate statistics focusses on inferring the joint distributional properties of several random variables, seen as random vectors, with a main focus on uncovering their underlying dependence struc
CS-550: Formal verificationWe introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to u
