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 use formal verification tools and explain the theory and ...
EE-320: Analog IC designIntroduction to the design of analog CMOS integrated circuits at the transistor level. Understanding and design of basic structures. ...
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
fundamental software construction concepts (reusability, abstr ...
CS-119(d): Information, Computation, CommunicationL'objectif de ce cours est d'introduire les étudiants à la pensée algorithmique, de les familiariser avec les fondamentaux de l'Informatique et de développer une première compétence en programmation (langage C++). ...
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 ...
CS-119(l): Information, Computation, CommunicationL'objectif de ce cours est d'introduire les étudiants à la pensée algorithmique, de les familiariser avec les fondamentaux de l'Informatique et de développer une première compétence en programmation (langage C++). ...
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 coupled with C programming lectures and assignments for ...
ME-700: Designing Testing Machines for GeomechanicsDevelop your own machines to meet your scientific needs. Learn how to build high-pressure, high-temperature machines, as well as low-to-high-speed friction machines for geomechanics experiments. Additionally, gain knowledge about commonly used sensors in g ...
CS-401: Applied data analysisThis course teaches the basic techniques, methodologies, and practical skills required to draw meaningful insights from a variety of data, with the help of the most acclaimed software tools in the data science world (pandas, scikit-learn, Spark, etc.) ...
ENV-341: Remote sensingCe cours a pour objectif de familiariser les étudiants avec les principaux concepts, instruments et techniques de la télédétection environnementale. Les interactions ondes/matière, les différents types instruments et les techniques de traitements d'images ...
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. Introduction à l'instrumentation virtuelle. ...
ENG-474: Environmental impact assesmentPrésentation des bases des études d'impact, du contexte et des outils d'évaluation de chacun des sujets et des chapitres. Illustration par de nombreux cas réels, et par un travail de groupe. Discussion des limites des EIE et des nouveaux outils tels que le ...
CH-334: Unit operation and process technologyL'étudiant sera en mesure de : -Identifier et définir les principales opérations unitaires. -Analyser et optimiser une opération unitaire selon les contraintes. - Proposer des améliorations techniques, économiques et durables. ...
ME-102: Mechanical construction II (for ME)Le cours de ME-102 vise à l'acquisition d'une solide culture technique de base en vue d'être capable de traiter des cas concrets de construction mécanique, via une revue des concepts, composants, et méthodologies utilisés dans ce domaine, et la réalisation ...
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 le site de son étude. ...
ENG-209: Data science for engineers with PythonCe cours propose une immersion progressive et complète dans le domaine de la Data Science à travers le langage Python. Il guide les étudiants depuis la manipulation de données brutes jusqu'à la modélisation et l'extraction de connaissances utiles à partir ...
BIO-369: Randomness and information in biological dataBiology is becoming more and more a data science, as illustrated by the explosion of available genome sequences. This course aims to show how we can make sense of such data and harness it in order to understand biological processes in a quantitative way. ...
EE-334: Digital systems designStudents will acquire basic knowledge about methodologies and tools for the design, optimization, and verification of custom digital systems/hardware.
They learn how to design synchronous digital circuits on register transfer level, analyse their timing a ...
CS-119(h): Information, Computation, CommunicationL'objectif de ce cours est d'initier les étudiants à la pensée algorithmique, de les familiariser avec les fondamentaux de l'informatique et des communications et de développer une première compétence en programmation avec le langage Python. ...
CS-320: Computer language processingWe teach the fundamental aspects of analyzing and interpreting computer languages, including the techniques to build compilers. You will build a working compiler from an elegant functional language into machine code using a popular backend called LLVM (htt ...
