CIVIL-312: Hydraulic structures and schemesLes aménagements hydrauliques sont indispensable pour garantir l'approvisionnement en énergie écophile et renouvelable, de même que l'approvisionnement en eau de bonne qualité et en quantité suffisant
CS-471: Advanced multiprocessor architectureMultiprocessors are basic building blocks for all computer systems. This course covers the architecture and organization of modern multiprocessors, prevalent accelerators (e.g., GPU, TPU), and datacen
ENV-524: Hydrological risks and structuresLe cours est une introduction à l'hydrologie statistique avec un accent mis sur l'hydrologie des petits bassins-versants de montagne. Le cours comprend une introduction générale à la gestion des risqu
ENV-200: Environmental chemistryThis course provides students with an overview over the basics of environmental chemistry. This includes the chemistry of natural systems, as well as the fate of anthropogenic chemicals in natural sys
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 u
ChE-340: The engineering of chemical reactionsCe cours applique les concepts de la cinétique chimique et des bilans de masse et d'énergie pour résoudre les problèmes de génie des réactions chimiques, en mettant l'accent sur les applications indus