PHYS-512: Statistical physics of computationThe students understand tools from the statistical physics of disordered systems, and apply them to study computational and statistical problems in graph theory, discrete optimisation, inference and m
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
BIO-204: Integrated labo in Life sciences IIAu cours de deux semestres, vous utilisez la biologie moléculaire, la biologie cellulaire ainsi que la biochimie pour cloner un ADNc dans un plasmide d'expression, afin de produire, purifier et caract
MATH-261: Discrete optimizationThis course is an introduction to linear and discrete optimization.
Warning: This is a mathematics course! While much of the course will be algorithmic in nature, you will still need to be able to p
ENV-596: Design projectMise en pratique des connaissances acquises dans un projet proposé par un bureau d'ingénieur, une administration ou un laboratoire affilié à SIE. Projet avec une orientation d'ingénierie ou de recherc
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