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-436: Statistical physics IVNoise and fluctuations play a crucial role in science and technology. This course treats stochastic methods, applying them to both classical problems and quantum systems. It emphasizes the frameworks
MGT-301: Foundations in financial economicsThe aim of this course is to expose EPFL bachelor students to some of the main areas in financial economics. The course will be organized around six themes. Students will obtain both practical insight
COM-202: Signal processingSignal processing theory and applications: discrete and continuous time signals; Fourier analysis, DFT, DTFT,
CTFT, FFT, STFT; linear time invariant systems; filter design and adaptive filtering; samp
CS-250: Algorithms IThe students learn the theory and practice of basic concepts and techniques in algorithms. The course covers mathematical induction, techniques for analyzing algorithms, elementary data structures, ma