PHYS-314: Quantum physics IIThe aim of this course is to familiarize the student with the concepts, methods and consequences of quantum physics.
PHYS-428: Relativity and cosmology IIThis course is the basic introduction to modern cosmology. It introduces students to the main concepts and formalism of cosmology, the observational status of Hot Big Bang theory
and discusses major
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
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