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
ENV-470: Development engineeringThis course teaches the fundamentals of technologies for development (Development Engineering) to design, pilot, and deploy appropriate, affordable and robust technologies to address sustainable devel
ENV-471: Environmental economicsIntroduction to economic analysis applied to environmental issues: all the necessary basic concepts, including cost-benefit analysis, for environmental policy making and its instruments (examples: cli
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-599: Master project in ArchitectureLe Projet de Master, d'une durée d'un semestre, est un projet d'architecture mené par l'étudiant·e de manière autonome. Il·elle choisit lui·elle-même les membres du groupe de suivi, la thématique et l
HUM-467: Picture history IILe séminaire propose un travail collectif de recherche, de réflexion ou de projet en lien à l'histoire des expositions universelles, à leurs formes et à leurs enjeux de 1851 à aujourd'hui.