CS-202: Computer systemsThis course will teach operating systems and networks in an integrated fashion,emphasising the fundamental concepts and techniques that make their interaction possible/practical. Core lectures will be
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
CIVIL-235: Design of steel structuresCe cours permet de maitriser les aspects fondamentaux et pratiques du dimensionnement des structures en acier. Il traite des poutres, des poteaux, des assemblages, des cadres, des systèmes porteurs et
ME-443: Hydroacoustic for hydropower plantsIntroduction to pressure wave propagation phenomena in hydraulic circuits, water hammer calculations, transient behaviour of hydroelectric plants, 1D numerical simulation of the dynamic behaviour of F
HUM-274: Musical theory and creativityThis course provides an introduction into music theory and analysis, composition, and creativity, and combines theoretical teaching with hands-on practical exercises and music making.
MSE-210: Functional properties of materialsCe cours a comme objectif de présenter les concepts nécessaires à la compréhension des principes fondamentaux qui permettent de prédire les propriétés d'un matériau. Ces concepts vous permettront de r