CS-308: Introduction to quantum computationThe course introduces the paradigm of quantum computation in an axiomatic way. We introduce the notion of quantum bit, gates, circuits and we treat the most important quantum algorithms. We also touch
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
MICRO-310(b): Signals and systems I (for SV)Présentation des concepts et des outils de base pour l'analyse et la caractérisation des signaux, la conception de systèmes de traitement et la modélisation linéaire de systèmes pour les étudiants en
MATH-333: Selected chapters of geometryAprès avoir traité la théorie de base des courbes et surfaces dans le plan et l'espace euclidien,
nous étudierons certains chapitres choisis : surfaces minimales, surfaces à courbure moyenne constante
PHYS-339: Advanced computational physicsThe course covers dense/sparse linear algebra, variational methods in quantum mechanics, and Monte Carlo techniques. Students implement algorithms for complex physical problems. Combines theory with c
ME-201: Continuum mechanicsContinuum conservation laws (e.g. mass, momentum and energy) will be introduced. Mathematical tools, including basic algebra and calculus of vectors and Cartesian tensors will be taught. Stress and de
MATH-687: Algebraic models for homotopy typesln this course we will develop algebraic and coalgebraic models for homotopy types.
Among other things we will learn about Quillen's and Sullivan's model of rationâl homotopy types and about Mandell's
CS-602: Foundation of probabilistic proofsProbabilistic proof system (eg PCPs and IPs) have had a tremendous impact on the theoretical computer science, and have also found practical uses. They underlie delegation of computation protocols and
