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
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
MATH-502: Distribution and interpolation spacesThe goal of this course is to give an introduction to the theory of distributions and cover the fundamental results of Sobolev spaces including fractional spaces that appear in the interpolation theor
MSE-486: Organic electronic materialsThis course will introduce students to the field of organic electronic materials. The goal of this course is to discuss the origin of electronic properties in organic materials, charge transport mecha
ME-251: Thermodynamics and energetics IThe course introduces the basic concepts of thermodynamics and heat transfer, and thermodynamic properties of matter and their calculation. The students will master the concepts of heat, mass, and mom
MATH-410: Riemann surfacesThis course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex