CS-455: Topics in theoretical computer scienceThe students gain an in-depth knowledge of several current and emerging areas of theoretical computer science. The course familiarizes them with advanced techniques, and develops an understanding of fundamental questions that underlie some of the key probl ...
MATH-381: Mathematical logicBranche des mathématiques en lien avec le fondement des mathématiques et l'informatique théorique. Le cours est centré sur la logique du 1er ordre et l'articulation entre syntaxe et sémantique. C'est entre autres un cours dans lequel la pratique mathématiq ...
CS-119(c): Information, Computation, CommunicationL'objectif de ce cours est d'introduire les étudiants à la pensée algorithmique, de les familiariser avec les fondamentaux de l'Informatique et de développer une première compétence en programmation (langage C++). ...
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. ...
CS-524: Computational complexityIn computational complexity we study the computational resources needed to solve problems and understand the relation between different types of computation.
This course advances the students knowledge of computational complexity, and develop an understa ...
CS-459: Foundations of probabilistic proofsProbabilistic proof systems (eg PCPs and IPs) have had a tremendous impact on theoretical computer science, as well as on real-world secure systems. They underlie delegation of computation protocols and hardness of approximation. This course covers the fou ...
MICRO-471: Fundamentals of integrated photonic componentsThis course gives an introduction to basic integrated photonics components that are at the core of photonic nanotechnologies today. The course combines theoretical description with practical lab work where students will do simulations in CST Microwave Stud ...
QUANT-400: Introduction to quantum science and technologyA broad view of the diverse aspects of the field is provided: quantum physics, communication, quantum computation, simulation of physical systems, physics of qubit platforms, hardware technologies. Students will grasp the field as a whole and better orient ...
MICRO-443: Conceptual design of products and systems"Reverse engineering", une activité consistant à étudier un objet pour en déterminer le fonctionnement interne ou la méthode de fabrication. Les étudiants seront capables d'analyser et d'évaluer des produits microtechniques complexes (identification des él ...
PHYS-642: Statistical physics for optimization & learningThis course covers the statistical physics approach to computer science problems, with an emphasis on heuristic & rigorous mathematical technics, ranging from graph theory and constraint satisfaction to inference to machine learning, neural networks and st ...
CS-599: Master project in Computer ScienceThe student carries out an academic or industrial master's project. The student will use the required skills and knowledge to accomplish an independent Master in Computer Science. ...
CS-723: Topics in Machine Learning SystemsThis course will cover the latest technologies, platforms and research contributions in the area of machine learning systems. The students
will read, review and present papers from recent venues across the systems for ML spectrum. ...
AR-212: Theory and techniques of architectural figurationL'enseignement transmet les fondements théoriques de l'histoire de l'art figuratif et introduit les techniques opératoires de la représentation. L'objectif principal est d'intégrer la pratique des outils numériques dans la dimension intellectuelle de la di ...
MATH-504: Integer optimisationThe course aims to introduce the basic concepts and results of integer optimization with special emphasis on algorithmic problems on lattices that have proved to be important in theoretical computer science and cryptography during the past 30 years. ...
MICRO-435: Quantum and nanocomputingThe course teaches non von-Neumann architectures. The first part of the course deals with quantum computing, sensing, and communications. The second focuses on field-coupled and conduction-based nanocomputing, in-memory and molecular computing, cellular au ...
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 ...
NX-435: Systems neuroscienceThe course "Systems Neuroscience" explores neural circuits and networks to understand how groups of neurons process information and generate behavior. It integrates techniques from neurophysiology, anatomy, genetics, and computer science to investigate com ...
AR-434: The preservation project: theories and techniquesConstruire dans le construit n'est pas une pratique nouvelle. Ce qui en fait une attitude contemporaine est le type de questionnements théoriques et pratiques sur l'objet architectural ainsi que le regard rapproché sur la matérialité du bâti. ...
