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
MATH-106(f): Analysis IIÉtudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles de plusieurs
variables.
CS-526: Learning theoryMachine learning and data analysis are becoming increasingly central in many sciences and applications. This course concentrates on the theoretical underpinnings of machine learning.
HUM-275: Evolutionary psychologyLa psychologie évolutionniste est une discipline située au carrefour de la biologie, de la psychologie, de l'anthropologie, des sciences sociales et naturelles qui examine les traits psychologiques et
CIVIL-212: Fundamentals of indoor climateThe indoor climate impacts building performance and human well-being. This course covers fundamental knowledge of indoor air quality and thermal environment, with their assessment methods. It also out
CIVIL-438: Risk analysis and managementLe cours vise à former les étudiants aux méthodes et outils permettant d'appréhender de manière fondée et scientifique la question de l'analyse et de la gestion des risques technologiques et naturels,
AR-402(ag): Studio MA2 (Fröhlich M. & A.)Qu'est-ce qu'une serre sans le végétal ? Ou un jardin d'hiver sans l'hiver ? Dans le cadre de la série « Tackle The Type », le studio étudiera les serres d'un point de vue typologique et explorera l'a
