CS-101: Advanced information, computation, communication IDiscrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics as diverse as mathematical reasoning, combinatorics, disc ...
MSE-304: Surfaces and interfacesThis lecture introduces the fundamental concepts for describing, characterizing, and engineering surfaces and interfaces. Students will develop both theoretical and practical understanding of how interfacial phenomena influence surface properties and techn ...
PHYS-419: Solid state physics IIIThe aim of this course is to provide an introduction to the theory of a few remarkable phenomena of modern condensed matter physics ranging from the quantum Hall effects to superconductivity. ...
ChE-403: Heterogeneous reaction engineeringThe theoretical background and practical aspects of heterogeneous reactions including the basic knowledge of heterogeneous catalysis are introduced. The fundamentals are given to allow the design of multiphase chemical reactors. ...
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 machine learning. ...
PHYS-101(a): General physics : mechanicsLe but du cours de physique générale est de donner à l'étudiant les notions de base nécessaires à la compréhension des phénomènes physiques. L'objectif est atteint lorsque l'étudiant est capable de prévoir quantitativement les conséquences de ces phénomène ...
CS-308: Introduction to quantum computationThe course introduces the paradigm of quantum computating in an axiomatic way. We introduce the notions of quantum bits, gates, and circuits. We introduce themost important quantum algorithms. We also touch upon error-correcting codes. This course is indep ...
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 use formal verification tools and explain the theory and ...
ME-372: Finite element methodL'étudiant acquiert une initiation théorique à la méthode des éléments finis qui constitue la technique la plus courante pour la résolution de problèmes elliptiques en mécanique. Il apprend à appliquer cette méthode à des cas simples et à l'exploiter pour ...
MATH-317: Algebra V - Galois theoryGalois theory lies at the interface of Field Theory and Group Theory. It aims to describe the algebraic symmetries of fields. We will focus on Galois theory for finite field extensions and some applications. ...
MICRO-520: Laser microprocessingThe physical principles of laser light materials interactions are introduced with a large number of industrial application examples. Materials processing lasers are developing further and further, the lecture presents the physical limitations of the proces ...
MSE-431: Physical chemistry of polymeric materialsThe student has a basic understanding of the physical and physicochemical principles which result from the chainlike structure of synthetic macromolecules. The student can predict major characteristics of a polymer from its chemical structure and molecular ...
COM-401: Cryptography and securityThis course introduces the basics of cryptography. We review several types of cryptographic primitives, when it is safe to use them and how to select the appropriate security parameters. We detail how they work and sketch how they can be implemented. ...
AR-241: Building services and addendaCe cours traite des divers domaines techniques intervenant dans la conception et la réalisation d'un bâtiment, soit : physique du bâtiment, structures, matériaux, construction et installations techniques; ceci dans une approche globale et transversale. ...
EE-205: Signals and systems (for EL)Ce cours pose les bases d'un concept essentiel en ingénierie : la notion de système. Plus spécifiquement, le cours présente la théorie des systèmes linéaires invariants dans le temps (SLIT), qui sont largement utilisés pour modéliser aussi bien une réalité ...
MSE-637(b): Transmission electron microscopy and diffraction (b)This intensive course is intended for researchers who envisage using transmission electron microscopy to study materials samples or to help them interpret TEM data in publications. It presents basics of TEM instrumentation, imaging, electron diffraction, s ...
