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
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
MICRO-371: Software architectureCe cours couvre des sujets liés à l'architecture software moderne et industrielle : la gestion agile de projets, la spécification des besoins, le développement d'applications critiques, la programmat
CS-412: Software securityThis course focuses on software security fundamentals, secure coding guidelines and principles, and advanced software security concepts. Students learn to assess and understand threats, learn how to d
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, and, if time permits, population growth and gro
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 entreprene
CS-358(a): Making intelligent things AThe course aims at teaching the prototyping of intelligent physical artifacts. It aims to solve real-world challenges by a
combination of microcontroller programming, electronics, and computer -aided
CS-358(b): Making intelligent things BThe course aims at teaching the prototyping of intelligent physical artifacts. It aims to solve real-world challenges by a
combination of microcontroller programming, electronics, and computer -aided
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
MGT-470: Sustainability in the global contextThis course equips you with the tools needed to evaluate the economic, historical, and political dimensions of climate change from a global perspective. You will also learn about the international in
PENS-201: Making structural logicThe ENAC week provides students the possibility to engage into an iterative process of testing and exploring structural and material limits and possibilities through the collaborative design and const
ME-213: Programmation pour ingénieurMettre en pratique les bases de la programmation vues au semestre précédent. Développer un logiciel structuré. Méthode de debug d'un logiciel. Introduction à la programmation scientifique. Introductio
HUM-335: Design, futures and societyCe cours réunit des étudiants de l'EPFL et de l'UNIL autour d'une démarche articulée de prospective et de design. En équipes interdisciplinaires, les étudiants explorent les futurs possibles de nos so
CS-290: Responsible softwareSoftware's growing importance increases engineers' responsibility to integrate ethical concerns in the design and development process. This course teaches students concrete strategies for responsible
CS-510: Topics in software securityMemory corruption and type safety flaws dominate the threat landscape. We will approach current research
from three dimensions: sanitization (finding flaws through runtime monitors); fuzzing (testing
