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
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-516: Applied statisticsThe course will provide an overview of everyday challenges in applied statistics through case studies. Students will learn how to use core statistical methods and their extensions, and will use comput
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 thei
MATH-100(b): Advanced analysis IDans ce cours, nous étudierons les notions fondamentales de l'analyse réelle, ainsi que le calcul différentiel et intégral pour les fonctions réelles d'une variable réelle.
CIVIL-423: Computational geomechanicsThe goal of this course is to introduce the student to modern numerical methods for the solution of coupled & non-linear problems arising in geo-mechanics / geotechnical engineering.