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
PHYS-452: Radiation detectionThe course presents the detection of ionizing radiation in the keV and MeV energy ranges. Physical processes of radiation/matter interaction are introduced. All steps of detection are covered, as well
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
MSE-237: Practice in materialsLes TPs matériaux BA4 ont pour but d'illustrer de manière pratique les notions acquises dans les cours Introduction à la Science des Matériaux et Métaux et Alliages. L'accent est mis sur le lien entre
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
MICRO-530: NanotechnologyThis course gives the basics for understanding nanotechnology from an engineer's perspective: physical background, materials aspects and scaling laws, fabrication and imaging of nanoscale devices.
MSE-215: Materials engineering IIAprès les polymères et les métaux, ce cours aborde les relations mise en oeuvre-structures-propriétés des matériaux céramiques pour la fabrication de composants en microtechnique. Les travaux pratique
