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 ...
ME-427: Networked control systemsThis course offers an introduction to control systems using communication networks for interfacing sensors, actuators, controllers, and processes. Challenges due to network non-idealities and opportunities offered by communication will be analyzed. ...
ENG-466: Distributed intelligent systemsThe goal of this course is to provide methods and tools for modeling distributed intelligent systems as well as designing
and optimizing coordination strategies. The course is a well-balanced mixture of theory and practical activities. ...
ME-371: Méthodes de discrétisation en fluidesCe cours présente une introduction aux méthodes d'approximation utilisées pour la simulation numérique en mécanique des fluides.
Les concepts fondamentaux sont présentés dans le cadre de la méthode des différences finies puis étendus à celles des éléments ...
PHYS-210: Physique numérique (pour SPH)Aborder, formuler et résoudre des problèmes de physique en utilisant des méthodes numériques élémentaires. Comprendre les avantages et les limites de ces méthodes (stabilité, convergence). Illustrer différents sujets de physique traités dans d'autres cours ...
HUM-490: Médiation scientifique ICet enseignement est une introduction à la théorie et la pratique de la médiation scientifique.
Cette année, ce cours aboutira à la création et l'animation d'un atelier pédagogique et interactif avec un groupe de jeunes. ...
MATH-600: Optimization and simulationMaster state-of-the art methods in optimization with heuristics and simulation.
Work involves:
- reading the material beforehand
- class hours to discuss the material and solve problems
- homework ...
HUM-224: Design graphique - approche illustrativeLe cours vise à faire découvrir les bases du design graphique, ses enjeux, ses différents domaines d'application, ses techniques et ses conventions. Il s'agit d'un enseignement pratique qui repose sur le développement d'un projet de semestre. ...
HUM-401: Artistic practices: field studies, film practice ICe cours, propose 2 options, en anglais et en français : 'Elsewhere Encounters' propose d'explorer différentes approches d'étude de terrain dans le monde artistique ; 'Réalisation' se penche sur les techniques cinématographiques et s'engage dans la réalisa ...
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 ...
EE-519: Bioelectronics and biomedical microelectronicsThe course covers the fundaments of bioelectronics and integrated microelectronics for biomedical and implantable systems. Issues and trade-offs at the circuit and systems levels of invasive microelectronic systems as well as their eluding designs, methods ...
CS-472: Design technologies for integrated systemsHardware compilation is the process of transforming specialized hardware description languages into circuit descriptions, which are iteratively refined, detailed and optimized. The course presents algorithms, tools and methods for hardware compilation an ...
MICRO-605: Optical MEMS and micro-opticsMicro-optics and Optical MEMS let us shape light with unmatched precision and speed. From fiber networks to LIDAR, they drive innovation in compact systems. MICRO 605 takes you from core principles to breakthrough applications in this fast-evolving field. ...
MGT-621: MicroeconomicsThis course presents a first introduction to microeconomic theory and its applications. It lays the foundation for more advanced courses. ...
CS-450: Algorithms IIA first graduate course in algorithms, this course assumes minimal background, but moves rapidly. The objective is to learn the main techniques of algorithm analysis and design, while building a repertory of basic algorithmic solutions to problems in many ...
ENG-267: Méthodes d'estimationLes étudiants traitent des observations entachées d'incertitude de manière rigoureuse. Ils maîtrisent les principales méthodes de compensation des mesures et d'estimation des paramètres. Ils appliquent certains modèles à des problèmes concrets issus de div ...
PENS-224: Human habitat : a study on the Alpine territoryIl est question d'aborder la domestication des Alpes par l'entremise de l'étude des modalités de construction de l'environnement bâti. Une étude entre architecture, génie civil, anthropologie et sciences du territoire en vue de la compréhension de la const ...
ENV-617: Snow Science Winter School (WSL)The modern techniques and methods to measure snow properties in the field and in the laboratory are introduced by specialists in the corresponding field. The methods are applied in the field and in the laboratory and a report prepared using the measured da ...
