CS-452: Foundations of softwareThe course introduces the foundations on which programs and programming languages are built. It introduces syntax, types and semantics as building blocks that together define the properties of a progr
ENV-410: Science of climate changeThe course equips students with a comprehensive scientific understanding of climate change covering a wide range of topics from physical principles, historical climate change, greenhouse gas emissions
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
CH-220: Preparative chemistry IApplication de la réactivité de base en chimie organique à la synthèse multi-étapes de molécules polyfonctionnelles. Instruction sur les règles de sécurité dans un laboratoire de chimie de synthèse. A
CH-310: Dynamics and kineticsThe course covers the principles of chemical kinetics, including differential rate laws, derivation of exact and approximate integral rate laws for common elementary and composite reactions, fundament
PENS-322: Urban voids: mind the gap!This course focuses on transforming urban voids, like vacant lots or abandoned buildings, into valuable spaces addressing challenges such as climate change and social cohesion. It equips engineers and
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