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
ENV-530: Sustainability roboticsThe goal of this course is to provide methods and tools of robotics in promoting sustainable development. The course is a balance between theoretical basics in robotics, associated case studies and pr
DH-401: Digital musicologyThis course will introduce students to the central topics in digital musicology and core theoretical approaches and methods. In the practical part, students will carry out a practical project.
MATH-414: Stochastic simulationThe student who follows this course will get acquainted with computational tools used to analyze systems with uncertainty arising in engineering, physics, chemistry, and economics. Focus will be on s
ChE-403: Heterogeneous reaction engineeringThe theoretical background and practical aspects of heterogeneous reactions including the basic knowledge of heterogeneous catalysis are introduced. The fundamentals are given to allow the design of m
ENV-418: River eco-morphologyLe cours traite les interactions entre l'hydraulique, le transport solide par charriage et l'espace cours d'eau à l'origine de la morphologie et de la richesse des habitats. La théorie de régime est p
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