Mineur en Informatique 2026-27

Mineur : Informatique

Cours
Langue
Examen
Crédits / Coefficient
Advanced computer architecture
CS-470 / Section IN
Ienne
EN
Session d'été
Ecrit
8
Advanced computer graphics
CS-440 / Section IN
Jakob
EN
Session d'été
Pendant le semestre
8
Advanced networks
COM-407 / Section SC
Nikolopoulos
EN
Session d'hiver
Ecrit
8
Advanced operating systems
CS-477 / Section IN
Kashyap
EN
Session d'hiver
Pendant le semestre
6
Algorithms I
CS-250 / Section IN
Chiesa, Svensson
EN
Session d'été
Ecrit
8
Algorithms II
CS-450 / Section IN
Kapralov
EN
Session d'hiver
Ecrit
8
Applied data analysis
CS-401 / Section SC
West
EN
Session d'hiver
Ecrit
8
Computational complexity
CS-524 / Section IN
Göös
EN
Session d'hiver
Pendant le semestre
6
Computer architecture
CS-200 / Section IN
Ienne
EN
Session d'hiver
Ecrit
8
Computer graphics (Cours biennal)
CS-341 / Section IN
Pauly
EN
Session d'été
Ecrit
6
Computer language processing
CS-320 / Section IN
Kuncak
EN
Session d'été
Pendant le semestre
6
Computer security and privacy
COM-301 / Section SC
Bourgeat
EN
Session d'hiver
Ecrit
6
Computer systems
CS-202 / Section IN
Argyraki, Chappelier, Kashyap
EN
Session d'été
Ecrit
8
Computer vision
CS-442 / Section IN
Fua
EN
Session d'été
Ecrit
6
Cryptography and security (This course is a "depth" for Cyber Security master program and Cyber Security minor.)
COM-401 / Section SC
Vaudenay
EN
Session d'hiver
Ecrit
8
Data-intensive systems
CS-300 / Section IN
Ailamaki, Kashyap
EN
Session d'été
Ecrit
6
Decentralized systems engineering (This course is a "depth" for Cyber Security master program and Cyber Security minor.)
CS-438 / Section IN
Borsò-Tan, Ford
EN
Session d'hiver
Ecrit
8
Digital education
CS-411 / Section IN
Käser
EN
Session d'hiver
Ecrit
6
Distributed algorithms
CS-451 / Section SC
Guerraoui
EN
Session d'hiver
Ecrit
8
Formal verification (This course is a "depth" for Cyber Security master program and Cyber Security minor.)
CS-550 / Section IN
Kuncak
EN
Session d'hiver
Pendant le semestre
8
Fundamentals of digital systems
CS-173 / Section IN
Stojilovic
EN
Session d'été
Ecrit
7
Interactive theorem proving (This course is a "depth" for Cyber Security master program and Cyber Security minor.)
CS-428 / Section IN
Pit-Claudel
EN
Session d'été
Pendant le semestre
8
Machine learning
CS-433 / Section IN
Flammarion, Jaggi
EN
Session d'hiver
Ecrit
8
Modern natural language processing
CS-552 / Section IN
Bosselut
EN
Session d'été
Pendant le semestre
8
Optional research project in computer science II
CS-596 / Section IN
Profs divers
EN
Session d'hiver/été
Pendant le semestre
8
Parallelism and concurrency in software
CS-302 / Section IN
Falsafi
EN
Session d'été
Pendant le semestre
6
Principles of online decision-making
CS-303 / Section IN
Grossglauser
EN
Session d'hiver
Ecrit
6
Software construction
CS-214 / Section IN
Kuncak, Odersky, Pit-Claudel
EN
Session d'hiver
Ecrit
8
Sublinear algorithms
CS-448 / Section IN
Kapralov
EN
Session d'été
Pendant le semestre
6
Systems for data management and data science
CS-460 / Section IN
Ailamaki, Kermarrec
EN
Session d'été
Ecrit
8
Theory of computation
CS-251 / Section IN
Göös
EN
Session d'été
Ecrit
6
Topics in theoretical computer science
CS-455 / Section IN
Svensson
EN
Session d'hiver
Pendant le semestre
6
Visual intelligence
CS-503 / Section IN
Zamir
EN
Session d'été
Pendant le semestre
6