EE-611: Linear system theoryThe course covers control theory and design for linear time-invariant systems : (i) Mathematical descriptions of systems (ii) Multivariables realizations; (iii) Stability ; (iv) Controllability and Ob
CIVIL-210: Fluids mechanics (For GC)Ce cours est une première introduction à la mécanique des fluides. On aborde tout d'abord les propriétés physiques des fluides et quelques principes fondamentaux de la physique, dont ceux de conservat
ME-390: Foundations of artificial intelligenceThis course provides the students with 1) a set of theoretical concepts to understand the machine learning approach; and 2) a subset of the tools to use this approach for problems arising in mechanica
MATH-207(a): Analysis IV (for SV, MT)The course studies the fundamental concepts of complex analysis with a view to their use in solving multidisciplinary problems of scientific engineering.
PHYS-512: Statistical physics of computationThe students understand tools from the statistical physics of disordered systems, and apply them to study computational and statistical problems in graph theory, discrete optimisation, inference and m
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