AR-101: Studio BA1Le cours vise à l'acquisition des outils essentiels au projet et à une compréhension de l'architecture comme savoir-faire, pensée, et attitude qui interroge l'inscription des êtres vivants dans leur e
AR-301(p): Studio BA5 (Braghieri)L'atelier propose d'explorer le thème de la construction dans le territoire alpin, à la lumière des changements imposés par les transformations économiques et sociales qui s'opèrent ces dernières déce
ME-321: Control systems + TPProvides the students with basic notions and tools for the analysis and control of dynamic systems. Shows them how to design controllers and analyze the performance of controlled systems.
ENV-410: Science of climate changeThe course equips students with a comprehensive scientific understanding of climate change covering a wide range of topics from physical principles, historical climate change, greenhouse gas emissions
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-102: Studio BA2Le cours vise à l'acquisition des outils essentiels au projet et à une compréhension de l'architecture comme savoir-faire, pensée, et attitude qui interroge l'inscription des êtres vivants dans leur e