MATH-502: Distribution and interpolation spacesThe goal of this course is to give an introduction to the theory of distributions and cover the fundamental results of Sobolev spaces including fractional spaces that appear in the interpolation theor
AR-202(m): Studio BA4 (Taillieu)A house is the simple topic of this studio. A matter of simple complexity. Starting as reference from an architect's drawing and a pavillon; constructing a "space to be". Then making two houses, "a pl
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
AR-201(m): Studio BA3 (Taillieu)A house is the simple topic of this studio. A matter of simple complexity. Starting as reference from an architect's drawing and a pavilion; constructing a "space to be". Then making two houses, "a pl
MATH-101(g): Analysis IÉtudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable.
HUM-249: Competing with ChinaLe cours sensibilise les étudiant·e·s aux implications de l'émergence de la Chine comme puissance économique et technologique en portant une réflexion critique sur les défis posés par cette transition
MSE-440: Composites technologyThe latest developments in processing and the novel generations of organic composites are discussed.
Nanocomposites, adaptive composites and biocomposites are presented. Product development, cost anal
AR-529: Exquisite Corpse: Architecture AssembledThrough close readings of key examples, the course revisits the historical evolution of architectural drawing and representation as autonomous entities, aiming to reclaim the agency of architectural d
ME-427: Networked control systemsThis course offers an introduction to control systems using communication networks for interfacing sensors, actuators, controllers, and processes. Challenges due to network non-idealities and opportun
