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
PHYS-715: Physical Optics and Advanced ImagingThis course gives an introduction to principles of Fourier and physical optics, numerical propagation, and sampling. On the second half the course covers topics of advanced imaging, including 3 extern
CS-214: Software constructionLearn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and
fundam
MATH-352: Causal thinkingThis course will give a unified presentation of modern methods for causal inference. We focus on concepts, and we will present examples and ideas from various scientific disciplines, including medicin
CH-456: Molecular spectroscopy in chemistrySummary
The course first, overviews the necessary background topics in geometrical and wave optics, quantum mechanics. This follows by studying the fundamentals of lasers, particular types of lasers
MATH-310: AlgebraThis is an introduction to modern algebra: groups, rings and fields.
PHYS-210: Physique numérique (pour SPH)Aborder, formuler et résoudre des problèmes de physique en utilisant des méthodes numériques élémentaires. Comprendre les avantages et les limites de ces méthodes (stabilité, convergence). Illustrer d
ChE-310: Fundamentals of separation processesThe course will cover fundamentals concepts of separation processes involving chemical equilibrium and mass transfer. Students will design separation processes widely used in the industry, for the sep
