ME-403: Applied mechanical designStudents will be exposed to hands-on design problems throughout the term. They will acquire methodologies to (1) address open ended engineering problems, (2) cultivate creativity, (3) support decision making and (4) develop problem solving abilities. ...
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-101: Construction mécanique I (pour GM)Le cours ME-101 vise à l'acquisition des règles et du langage normalisé de la communication technique, et des bases de la conception mécanique.
Ce cours intègre des travaux pratiques d'initiation à la Conception Assistée par Ordinateur avec le logiciel CAT ...
ME-106: Construction mécanique I (pour MT)Le cours ME-106 vise à l'acquisition des règles et du langage normalisé de la communication technique, et des bases de la conception mécanique.
Ce cours intègre des travaux pratiques d'initiation à la Conception Assistée par Ordinateur avec le logiciel CAT ...
CS-451: Distributed algorithmsComputing is nowadays distributed over several machines, in a local IP-like network, a cloud or a P2P network. Failures are common and computations need to proceed despite partial failures of machines or communication links. This course will study the fo ...
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 ...
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. ...
AR-497: Building design in the circular economyThe class introduces the concept of circular economy and its applications to building design, with a focus on design with reused components and design for disassembly. The class develops critical thinking skills over and above theoretical and technical inp ...
MGT-426: Logistique et analyse de la demandeLa logistique, fonction transversale par excellence, intègre toutes les dimensions des processus industriels à ajout de valeur, de l'approvisionnement à la distribution aux clients et au-delà en intégrant le développement durable. Un focus particulier sera ...
CS-213: Human-computer interactionLa discipline de l'Interaction Homme-Machine (ou HCI : Human-Computer Interaction) vise à systématiquement placer le facteur humain dans la conception de systèmes interactifs. ...
AR-241: Installations et complémentsCe cours traite des divers domaines techniques intervenant dans la conception et la réalisation d'un bâtiment, soit : physique du bâtiment, structures, matériaux, construction et installations techniques; ceci dans une approche globale et transversale. ...
EE-580: Introduction to the design of space mechanismsSpace environment is different from what we can experience on Earth, requiring specific design approaches in order to achieve reliable operations. Engineers must hence face new challenges stimulating their creativity to tackle those particular constraints. ...
CIVIL-438: Analyse et gestion de risquesLe cours vise à former les étudiants aux méthodes et outils permettant d'appréhender de manière fondée et scientifique la question de l'analyse et de la gestion des risques technologiques et naturels, avec une attention portée au domaine du Génie civil. ...
ENG-474: Etudes d'impact sur l'environnementPré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 ...
ME-474: Numerical flow simulationThis course provides practical experience in the numerical simulation of fluid flows. Numerical methods are presented in the framework of the finite volume method. A simple solver is developed with Matlab, and a commercial software is used for more complex ...
