ME-331: Solid mechanicsModel the behavior of elastic, viscoelastic, and inelastic solids both in the infinitesimal and finite-deformation regimes.
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-489: Urban sociologyCe cours a pour objectif de familiariser les étudiants à la sociologie urbaine et aux outils qu'elle propose pour décrire et analyser l'articulation des enjeux spatiaux, sociaux et politiques.
MICRO-301: Manufacturing technologiesThis course gives an introduction to production methods and manufacturing technologies used in microengineering. The focus is given on the understanding of physical phenomena underlying the processes,
AR-302(ah): Studio BA6 (Malterre-Barthes)This studio explores construction materials, their origins and supply chains, the norms that regulate their use, and deploys that as a brief to explore how a post-extractive architecture could emerge
AR-402(ah): Studio MA2 (Malterre-Barthes)This studio explores construction materials, their origins and supply chains, the norms that regulate their use, and deploys that as a brief to explore how a post-extractive architecture could emerge
PHYS-207(a): General physics : quantaCe cours est une introduction à la mécanique quantique. En partant de son développement historique, le cours traite les notions de complémentarité quantique et le principe d'incertitude, le processus
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
