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
ME-422: Multivariable controlThis course covers methods for the analysis and control of systems with multiple inputs and outputs, which are ubiquitous in modern technology and industry. Special emphasis will be placed on discrete
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
PHYS-310: Solid state physics IICe cours de deux semestres donne une introduction à la Physique du solide, à la structure cristalline, aux vibrations du réseau, aux propriétés électroniques, de transport thermique et électrique ains
ME-466: InstabilityThis course focuses on the physical mechanisms at the origin of the transition of a flow from laminar to turbulent using the hydrodynamic instability theory.
PHYS-758: Advanced Course on Quantum CommunicationThe aim of this doctoral course by Nicolas Sangouard is to lay the theoretical groundwork that is needed for students to understand how to take advantage of quantum effects for communication technolog
AR-301(o): Studio BA5 (elii)Fiction is one of the laboratories that architecture uses for its tests. This should not come as a surprise, since architecture has always been a "science of fiction". The studio holds by elii [archit
AR-302(o): Studio BA6 (elii)Fiction is one of the laboratories that architecture uses for its tests. This should not come as a surprise, since architecture has always been a "science of fiction". The studio holds by elii [archit