ENG-411: Concurrent engineering of space missionsThe main objective of this course is to teach the students the fundamentals of concurrent engineering for space missions and systems. The course is built around a similar framework to that of the Euro
CS-214: Software constructionLearn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and
fundam
AR-225: History of architecture III/IVThe course investigates the global history of architecture and town planning between the 16th and 19th centuries, its architects and buildings, and highlights the theoretical, artistic and technical i
CS-438: Decentralized systems engineeringA decentralized system is one that works when no single party is in charge or fully trusted. This course teaches decentralized systems principles while guiding students through the engineering of thei
COM-401: Cryptography and securityThis course introduces the basics of cryptography. We review several types of cryptographic primitives, when it is safe to use them and how to select the appropriate security parameters. We detail how
COM-406: Foundations of Data ScienceWe discuss a set of topics that are important for the understanding of modern data science but that are typically not taught in an introductory ML course. In particular we discuss fundamental ideas an