MATH-432: Probability theoryThe course is based on Durrett's text book
Probability: Theory and Examples.
It takes the measure theory approach to probability theory, wherein expectations are simply abstract integrals.
MATH-410: Riemann surfacesThis course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex
PHYS-314: Quantum physics IIThe aim of this course is to familiarize the student with the concepts, methods and consequences of quantum physics.
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
ENV-300: Pollutants analysis in the environmentÉvaluation de la qualité d'une rivière en utilisant des méthodes d'observation ainsi que des méthodes physico-chimiques et biologiques. Collecte d'échantillons sur le terrain et analyses de laboratoir
CH-634: Chemical Probes for Imaging in BiologyThe goal of this course is to provide an overview on recent developments in the design and synthesis of fluorescent and bioluminescent probes for applications in basic research and medicine. Through t
MSE-351: Surface analysisThe course treats the main surface analysis methods for the characterization of surfaces, interfaces and thin films. It discusses how these methods can be applied to gain specific knowledge about stru
ENV-504: Groundwater and soil remediationThis course covers the essential knowledge of contaminant partitioning and techniques to monitor chemical species, physical extent of contamination and biological processes. In the second part, remedi
