Computer Science

AI product management
Teacher: Roshan Zamir Amir, Kaboli Amin
CS-500
Humanités digitales-Master semestre 3, Humanités digitales-Master semestre 1, 2024-2025
Informatique-Master semestre 3, Informatique-Master semestre 1, 2024-2025
Systèmes de communication-Master semestre 3, Systèmes de communication-Master semestre 1, 2024-2025

Advanced compiler construction
Teacher: Schinz Michel
CS-420
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

Advanced computer architecture
Teacher: Ienne Paolo
CS-470
Génie électrique et électronique-Master semestre 4, Génie électrique et électronique-Master semestre 2, 2024-2025
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

Advanced multiprocessor architecture
Teacher: Falsafi Babak
CS-471
Génie électrique et électronique-Master semestre 3, Génie électrique et électronique-Master semestre 1, 2024-2025
Informatique-Master semestre 3, Informatique-Master semestre 1, 2024-2025
Mathématiques-Master semestre 3, Mathématiques-Master semestre 1, 2024-2025
Systèmes de communication-Master semestre 3, Systèmes de communication-Master semestre 1, 2024-2025

Advanced operating systems
Teacher: Kashyap Sanidhya
CS-477
Informatique-Master semestre 3, Informatique-Master semestre 1, 2024-2025
Systèmes de communication-Master semestre 3, Systèmes de communication-Master semestre 1, 2024-2025

Advanced topics on privacy enhancing technologies
Teacher: González Troncoso Carmela
CS-523
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

Algorithms II
Teacher: Kapralov Mikhail, Svensson Ola Nils Anders
CS-450
Informatique-Master semestre 3, Informatique-Master semestre 1, 2024-2025
Mathématiques-Master semestre 3, Mathématiques-Master semestre 1, 2024-2025
Science et ingénierie quantiques-Master semestre 3, Science et ingénierie quantiques-Master semestre 1, 2024-2025
Systèmes de communication-Master semestre 3, Systèmes de communication-Master semestre 1, 2024-2025

Algorithms I
Teacher: Chiesa Alessandro, Svensson Ola Nils Anders
CS-250
Mathématiques-Master semestre 4, Mathématiques-Master semestre 2, 2024-2025

Applied data analysis
Teacher: Brbic Maria
CS-401
Génie électrique et électronique-Master semestre 3, Génie électrique et électronique-Master semestre 1, 2024-2025
Humanités digitales-Master semestre 3, Humanités digitales-Master semestre 1, 2024-2025
Informatique-Master semestre 3, Informatique-Master semestre 1, 2024-2025
Ingénierie des sciences du vivant-Master semestre 3, Ingénierie des sciences du vivant-Master semestre 1, 2024-2025
Ingénierie financière-Master semestre 3, Ingénierie financière-Master semestre 1, 2024-2025
Management de la technologie-Master semestre 3, Management de la technologie-Master semestre 1, 2024-2025
Mathématiques-Master semestre 3, Mathématiques-Master semestre 1, 2024-2025
Microtechnique-Master semestre 3, Microtechnique-Master semestre 1, 2024-2025
Neuro-X-Master semestre 3, Neuro-X-Master semestre 1, 2024-2025
Sciences et ingénierie de l'environnement-Master semestre 3, Sciences et ingénierie de l'environnement-Master semestre 1, 2024-2025
Systèmes de communication-Master semestre 3, Systèmes de communication-Master semestre 1, 2024-2025

Computational complexity
Teacher: Göös Mika Tapani
CS-524
Informatique-Master semestre 3, Informatique-Master semestre 1, 2024-2025
Science et ingénierie quantiques-Master semestre 3, Science et ingénierie quantiques-Master semestre 1, 2024-2025
Systèmes de communication-Master semestre 3, Systèmes de communication-Master semestre 1, 2024-2025

Computational motor control
Teacher: Ijspeert Auke
CS-432
Génie mécanique-Master semestre 4, Génie mécanique-Master semestre 2, 2024-2025
Ingénierie des sciences du vivant-Master semestre 4, Ingénierie des sciences du vivant-Master semestre 2, 2024-2025
Microtechnique-Master semestre 4, Microtechnique-Master semestre 2, 2024-2025
Neuro-X-Master semestre 4, Neuro-X-Master semestre 2, 2024-2025

Computational photography
Teacher: Süsstrunk Sabine
CS-413
Humanités digitales-Master semestre 4, Humanités digitales-Master semestre 2, 2024-2025
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

Computer vision
Teacher: Fua Pascal
CS-442
Humanités digitales-Master semestre 4, Humanités digitales-Master semestre 2, 2024-2025
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Microtechnique-Master semestre 4, Microtechnique-Master semestre 2, 2024-2025
Neuro-X-Master semestre 4, Neuro-X-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

Concurrent computing
Teacher: Guerraoui Rachid
CS-453
Informatique-Master semestre 3, Informatique-Master semestre 1, 2024-2025
Systèmes de communication-Master semestre 3, Systèmes de communication-Master semestre 1, 2024-2025

Decentralized systems engineering
Teacher: Ford Bryan Alexander, Borsò Pierluca
CS-438
Informatique-Master semestre 3, Informatique-Master semestre 1, 2024-2025
Systèmes de communication-Master semestre 3, Systèmes de communication-Master semestre 1, 2024-2025

Deep reinforcement learning
Teacher: Gulcehre Caglar
CS-456
Humanités digitales-Master semestre 4, Humanités digitales-Master semestre 2, 2024-2025
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Ingénierie des sciences du vivant-Master semestre 4, Ingénierie des sciences du vivant-Master semestre 2, 2024-2025
Ingénierie financière-Master semestre 4, Ingénierie financière-Master semestre 2, 2024-2025
Mathématiques-Master semestre 4, Mathématiques-Master semestre 2, 2024-2025
Neuro-X-Master semestre 4, Neuro-X-Master semestre 2, 2024-2025
Science et ingénierie quantiques-Master semestre 4, Science et ingénierie quantiques-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

Design technologies for integrated systems
Teacher: De Micheli Giovanni
CS-472
Génie électrique et électronique-Master semestre 3, 2024-2025
Informatique-Master semestre 3, Informatique-Master semestre 1, 2024-2025
Neuro-X-Master semestre 3, Neuro-X-Master semestre 1, 2024-2025
Systèmes de communication-Master semestre 3, Systèmes de communication-Master semestre 1, 2024-2025

Digital education
Teacher: Jermann Patrick, Dillenbourg Pierre
CS-411
Humanités digitales-Master semestre 4, Humanités digitales-Master semestre 2, 2024-2025
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

Distributed algorithms
Teacher: Guerraoui Rachid
CS-451
Informatique-Master semestre 3, Informatique-Master semestre 1, 2024-2025
Science et ingénierie quantiques-Master semestre 3, Science et ingénierie quantiques-Master semestre 1, 2024-2025
Systèmes de communication-Master semestre 3, Systèmes de communication-Master semestre 1, 2024-2025

Distributed information systems
Teacher: Aberer Karl
CS-423
Génie électrique et électronique-Master semestre 3, Génie électrique et électronique-Master semestre 1, 2024-2025
Humanités digitales-Master semestre 3, Humanités digitales-Master semestre 1, 2024-2025
Informatique-Master semestre 3, Informatique-Master semestre 1, 2024-2025
Sciences et ingénierie de l'environnement-Master semestre 3, Sciences et ingénierie de l'environnement-Master semestre 1, 2024-2025
Systèmes de communication-Master semestre 3, Systèmes de communication-Master semestre 1, 2024-2025

Embedded system design
Teacher: Kluter Ties Jan Henderikus
CS-476
Génie électrique et électronique-Master semestre 4, Génie électrique et électronique-Master semestre 2, 2024-2025
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Microtechnique-Master semestre 4, Microtechnique-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

Formal verification
Teacher: Kuncak Viktor
CS-550
Informatique-Master semestre 3, Informatique-Master semestre 1, 2024-2025
Systèmes de communication-Master semestre 3, Systèmes de communication-Master semestre 1, 2024-2025

Foundations of probabilistic proofs
Teacher: Chiesa Alessandro
CS-459
Informatique-Master semestre 3, Informatique-Master semestre 1, 2024-2025
Mathématiques-Master semestre 3, Mathématiques-Master semestre 1, 2024-2025
Systèmes de communication-Master semestre 3, Systèmes de communication-Master semestre 1, 2024-2025

Foundations of software
Teacher: Bourgeat Thomas Emile
CS-452
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025

Geometric computing
Teacher: Pauly Mark
CS-457
Informatique-Master semestre 3, Informatique-Master semestre 1, 2024-2025
Mathématiques-Master semestre 3, Mathématiques-Master semestre 1, 2024-2025
Systèmes de communication-Master semestre 3, Systèmes de communication-Master semestre 1, 2024-2025

Industrial automation
Teacher: Sommer Philipp Alexander, Tournier Jean-Charles
CS-487
Génie mécanique-Master semestre 4, Génie mécanique-Master semestre 2, 2024-2025
Génie électrique et électronique-Master semestre 4, Génie électrique et électronique-Master semestre 2, 2024-2025
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Microtechnique-Master semestre 4, Microtechnique-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

Intelligent agents
Teacher: Faltings Boi
CS-430
Informatique-Master semestre 3, Informatique-Master semestre 1, 2024-2025
Ingénierie financière-Master semestre 3, Ingénierie financière-Master semestre 1, 2024-2025
Microtechnique-Master semestre 3, Microtechnique-Master semestre 1, 2024-2025
Systèmes de communication-Master semestre 3, Systèmes de communication-Master semestre 1, 2024-2025

Interaction design
Teacher: Pu Faltings Pearl
CS-486
Humanités digitales-Master semestre 4, Humanités digitales-Master semestre 2, 2024-2025
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

Interactive theorem proving
Teacher: Pit-Claudel Clément, Barrière Aurèle Aimé Aubin
CS-428
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

Introduction to IT consulting
Teacher: Regev Gil
CS-491
Humanités digitales-Master semestre 4, Humanités digitales-Master semestre 2, 2024-2025
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

Introduction to natural language processing
Teacher: Rajman Martin, Bosselut Antoine, Chappelier Jean-Cédric
CS-431
Humanités digitales-Master semestre 3, Humanités digitales-Master semestre 1, 2024-2025
Informatique-Master semestre 3, Informatique-Master semestre 1, 2024-2025
Ingénierie des sciences du vivant-Master semestre 3, Ingénierie des sciences du vivant-Master semestre 1, 2024-2025
Neuro-X-Master semestre 3, Neuro-X-Master semestre 1, 2024-2025
Systèmes de communication-Master semestre 3, Systèmes de communication-Master semestre 1, 2024-2025

Introduction to quantum computation
Teacher: Lévêque Olivier, Urbanke Rüdiger
CS-308
Science et ingénierie quantiques-Master semestre 4, Science et ingénierie quantiques-Master semestre 2, 2024-2025

Learning in neural networks
Teacher: Gerstner Wulfram
CS-479
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Neuro-X-Master semestre 4, Neuro-X-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

Learning theory
Teacher: Macris Nicolas
CS-526
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Mathématiques-Master semestre 4, Mathématiques-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

Machine learning for behavioral data
Teacher: Käser Jacober Tanja Christina
CS-421
Humanités digitales-Master semestre 4, Humanités digitales-Master semestre 2, 2024-2025
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Mathématiques-Master semestre 4, Mathématiques-Master semestre 2, 2024-2025
Neuro-X-Master semestre 4, Neuro-X-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

Machine learning
Teacher: Flammarion Nicolas Henri Bernard, Jaggi Martin
CS-433
Génie électrique et électronique-Master semestre 3, Génie électrique et électronique-Master semestre 1, 2024-2025
Humanités digitales-Master semestre 3, Humanités digitales-Master semestre 1, 2024-2025
Informatique-Master semestre 3, Informatique-Master semestre 1, 2024-2025
Ingénierie des sciences du vivant-Master semestre 3, Ingénierie des sciences du vivant-Master semestre 1, 2024-2025
Ingénierie financière-Master semestre 3, Ingénierie financière-Master semestre 1, 2024-2025
Management de la technologie-Master semestre 3, Management de la technologie-Master semestre 1, 2024-2025
Mathématiques-Master semestre 3, Mathématiques-Master semestre 1, 2024-2025
Neuro-X-Master semestre 3, Neuro-X-Master semestre 1, 2024-2025
Science et ingénierie quantiques-Master semestre 3, Science et ingénierie quantiques-Master semestre 1, 2024-2025
Systèmes de communication-Master semestre 3, Systèmes de communication-Master semestre 1, 2024-2025

Modern natural language processing
Teacher: Bosselut Antoine
CS-552
Humanités digitales-Master semestre 4, Humanités digitales-Master semestre 2, 2024-2025
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Ingénierie des sciences du vivant-Master semestre 4, Ingénierie des sciences du vivant-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

Optimization for machine learning
Teacher: Flammarion Nicolas Henri Bernard
CS-439
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Mathématiques-Master semestre 4, Mathématiques-Master semestre 2, 2024-2025
Neuro-X-Master semestre 4, Neuro-X-Master semestre 2, 2024-2025
Science et ingénierie quantiques-Master semestre 4, Science et ingénierie quantiques-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

Parallelism and concurrency in software
Teacher: Falsafi Babak
CS-302
Mathématiques-Master semestre 4, Mathématiques-Master semestre 2, 2024-2025

Principles of computer systems
Teacher: Candea George, Argyraki Aikaterini
CS-522
Informatique-Master semestre 3, Informatique-Master semestre 1, 2024-2025
Systèmes de communication-Master semestre 3, Systèmes de communication-Master semestre 1, 2024-2025

Software security
Teacher: Payer Mathias Josef
CS-412
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

Sublinear algorithms for big data analysis
Teacher: Kapralov Mikhail
CS-448
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

System programming for Systems-on-chip
Teacher: Kluter Ties Jan Henderikus
CS-473
Génie électrique et électronique-Master semestre 3, Génie électrique et électronique-Master semestre 1, 2024-2025
Informatique-Master semestre 3, Informatique-Master semestre 1, 2024-2025
Microtechnique-Master semestre 3, Microtechnique-Master semestre 1, 2024-2025
Systèmes de communication-Master semestre 3, Systèmes de communication-Master semestre 1, 2024-2025

Systems for data management and data science
Teacher: Kermarrec Anne-Marie, Ailamaki Anastasia
CS-460
Humanités digitales-Master semestre 4, Humanités digitales-Master semestre 2, 2024-2025
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Mathématiques-Master semestre 4, Mathématiques-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

Topics in software security
Teacher: Payer Mathias Josef
CS-510
Informatique-Master semestre 3, Informatique-Master semestre 1, 2024-2025
Systèmes de communication-Master semestre 3, Systèmes de communication-Master semestre 1, 2024-2025

Virtual reality
Teacher: Boulic Ronan
CS-444
Humanités digitales-Master semestre 4, Humanités digitales-Master semestre 2, 2024-2025
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Neuro-X-Master semestre 4, Neuro-X-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025

Visual intelligence : machines and minds
Teacher: Roshan Zamir Amir
CS-503
Humanités digitales-Master semestre 4, Humanités digitales-Master semestre 2, 2024-2025
Informatique-Master semestre 4, Informatique-Master semestre 2, 2024-2025
Neuro-X-Master semestre 4, Neuro-X-Master semestre 2, 2024-2025
Systèmes de communication-Master semestre 4, Systèmes de communication-Master semestre 2, 2024-2025