CS-428: Interactive theorem provingA hands-on introduction to interactive theorem proving, computer-checked mathematics, compiler verification, proofs as programs, dependent types, and proof automation.
Come learn how to write computer-checked proofs and certified bug-free code! ...
MATH-502: Distribution and interpolation spacesThe goal of this course is to give an introduction to the theory of distributions and cover the fundamental results of Sobolev spaces including fractional spaces that appear in the interpolation theory. Those notions are central to the study of partial dif ...
HUM-226: Wellbeing and Planetary BoundariesCe cours approfondit les acquis d'ENV-101 pour mieux comprendre et mettre en œuvre la durabilité : comment transformer la société vers le bien-être pour tous dans les limites écologiques, avec des approches et solutions sectorielles (énergie, bâtiments, mo ...
ENV-501: Material flow analysis and resource managementThis course provides the basis to understand material and energy production and consumption processes. Students learn how to develop a material flow analysis and apply it to resource management cases. They analyze the implications of their models on resour ...
HUM-432: How people learn: Designing Learning Tools IThe students will understand the cognitive and social factors which affect learning - particularly in science and engineering. They will be able to use social research techniques as part of the design process to understand end users. ...
FIN-400: Sustainable FinanceThe Sustainable Finance course is an interdisciplinary program designed for masters' students seeking to understands - on one hand - how climate change and sustainability are reshaping financial markets, and - on the other - how financial markets can be le ...
ENV-101: SustainabilityCe cours présente les enjeux mondiaux de la durabilité. Il introduit les limites planétaires, leur interconnexion systémique et les thèmes de justice sociale. L'approche interdisciplinaire initie au travail de groupe et à la pensée systémique (interdépenda ...
HUM-397: Design for sustainability IThis course explores and practices some of the fundamental tools of designing for sustainability with a focus on the sustainability, desirability, and economic viability of solutions. ...
HUM-471: Economic growth and sustainability IThis course examines growth from various angles: economic growth, growth in the use of resources, need for growth, limits to growth, sustainable growth, population growth. Although grounded in economics, it takes up elements from many other disciplines. ...
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 development challenges and especially those related to extrem ...
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 their own decentralized system featuring messaging, file sha ...
ENG-410: Energy supply, economics and transitionThis course examines energy systems from various angles: available resources, how they can be combined or substituted, their private and social costs, whether they can meet the energy demand, and how the transition to a renewable energy system can be foste ...
AR-465: Urban habitat and developementCentré sur les formes d'habitat des plus pauvres dans les pays du Sud et du Nord et les contextes de crises, en particulier les architectures d'urgence, le cours propose une analyse critique de l'urbanisation du monde au 21ème siècle. ...
EE-110: Logic systems (for MT)Ce cours couvre les fondements des systèmes numériques. Sur la base d'algèbre Booléenne et de circuitscombinatoires et séquentiels incluant les machines d'états finis, les methodes d'analyse et de synthèse de systèmelogiques sont étudiées et appliquée ...
CIVIL-451: Mobility engineeringAnalyser et diagnostiquer une situation du point de vue de l'urbanisme et de la mobilité. Définir des objectifs et des stratégies permettant de les atteindre. Mise au point des concepts les plus prometteurs. ...
CS-411: Digital educationThis course addresses the relationship between specific technological features and the learners' cognitive processes. It also covers the methods and results of empirical studies: do student actually learn due to technologies? In fall 2025, P. Dillenbourg w ...
ENV-461: Sustainability assessment of urban systemsThis course enables students to think critically about sustainability and to carry out a sustainability assessment based on problems of urban areas. At the end of the course, students are able to develop their own sustainability assessment using the Sustai ...
MGT-201: Introduction to entrepreneurshipThis course provides an introduction to the field of entrepreneurship, in particular the process of new venture creation and the commercialization of technologies. It integrates theories of entrepreneurship with a practical, process-based
project, where st ...
CS-308: Introduction to quantum computationThe course introduces the paradigm of quantum computating in an axiomatic way. We introduce the notions of quantum bits, gates, and circuits. We introduce themost important quantum algorithms. We also touch upon error-correcting codes. This course is indep ...
