CS-455: Topics in theoretical computer scienceThe students gain an in-depth knowledge of several current and emerging areas of theoretical computer science. The course familiarizes them with advanced techniques, and develops an understanding of f
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
PHYS-314: Quantum physics IIThe aim of this course is to familiarize the student with the concepts, methods and consequences of quantum physics.
HUM-218: The social psychology of persuasionLe cours aborde la persuasion et ses techniques, telles qu'étudiées en psychologie sociale. Les étudiant.e.s prennent connaissance des théories pertinentes et des expériences qui étayent ces théories.
HUM-429: Philosophy of life sciences IComprendre et discuter les questions centrales de la philosophie des sciences de la vie, par exemple celle du réductionnisme ou pourquoi le libre arbitre pourrait être une illusion. Transposer les pro
HUM-238: Philosophy of scienceCe cours propose d'identifier et comprendre les débats et problèmes centraux en philosophie des sciences, p.ex. le débat concernant les différents modèles de l'explication scientifique. Evaluer et com
AR-430: Magma and principlesNous proposons à une dizaine de personnalités de mettre en relation deux séquences spatiales issues de deux univers représentatifs l'architecture et le cinéma. Pour ce semestre "TEMPUS SESSORIUM" Le t
AR-302(b): Studio BA6 (Graf F.)Le projet de sauvegarde et le projet dans l'existant font partie d'une discipline culturelle constituée qui élargit le projet d'architecture contemporain.
AR-202(a): Studio BA4 (Bakker & Blanc A.)MANSLAB se concentre sur la question de l'assemblage programmatique et spatial entre des territoires différents afin de provoquer la manufacture d'une densité physique et métaphysique.