ME-232: Mechanics of structures (For GM)L'étudiant acquiert les bases de l'analyse des contraintes et déformation des poutres élastiques linéaires soumises à la traction, cisaillement, torsion, flexion; les coefficients d'influence et la m
AR-485: Political economy of designPolitical Economy of Design (PED) seeks to position and discuss architecture in relation to the world of production, economic interests and community benefits or decisions, at a local and global scale
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
PENS-201: Making structural logicThe ENAC week provides students the possibility to engage into an iterative process of testing and exploring structural and material limits and possibilities through the collaborative design and const
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-527: Construction policyConstruction Policy seeks to familiarise architecture and engineering students with instruments of policy analysis, evaluation and, eventually, design. This by introducing elements of policy theory, e
