| Reference | Course Title | Lecturer(s) | Credits | 23-24 | Semester | Area(s) |
| BIO-410 | Bioimage informatics | Sage, Seitz | 4 | yes | spring | AI |
| NX-465 | Computational neurosciences : neuronal dynamics | Gerstner | 5 | yes | spring | AI |
| COM-401 | Cryptography and security | Vaudenay | 8 | yes | fall | TH |
| COM-402 | Information security and privacy | Payer
| 8 | yes | fall | SY |
| COM-404 | Information theory and coding | Telatar | 8 | yes | fall | TH |
| COM-405 | Mobile networks | — | 8 | no | spring | TH |
| COM-406 | Foundations of Data Science (Information theory and signal processing) | Urbanke,
Gastpar | 8 | yes | fall | TH |
| COM-407 | TCP/IP Networking | Nikolopoulos | 8 | yes | fall | SY |
| COM-417 | Advanced probability and applications | Shkel | 8 | yes | spring | AI // TH |
| COM-418 | Computer and Music | — | 6 | no | spring | TH |
| COM-430 | Modern digital communications: a hands-on approach | Chiurtu | 8 | yes | fall | SY |
| COM-480 | Data visualization | Vuillon | 6 | yes | spring | AI |
| COM-490 | Large-scale data science for real-world-data (Lab in data science) | Bouillet, Delgado Borda, Sarni, Verscheure | 6 | yes | spring | AI |
| COM-500 | Statistical signal and data processing through applications | Ridolfi | 8 | yes | spring | TH |
| COM-501 | Advanced cryptography | Vaudenay | 6 | yes | spring | TH |
| COM-502 | Dynamical system theory for engineers | — | 6 | no | spring | TH |
| COM-512 | Networks out of control | Thiran, P., Grossglauser | 6 | yes | spring | TH |
| COM-514 | Mathematical foundations of signal processing | — | 6 | no | fall | AI // TH |
| COM-516 | Markov chains and algorithmic applications | Lévêque, Macris | 6 | yes | fall | TH |
| COM-611 | Quantum information theory and computation | Macris | 4 | TBC | fall | TH |
| CS-401 | Applied data analysis | West | 8 | yes | fall | AI |
| CS-411 | Digital education | Dillenbourg, Jermann | 6 | yes | fall | AI |
| CS-412 | Software security | Payer | 6 | yes | spring | SY |
| CS-413 | Computational photography | Süsstrunk | 6 | yes | spring | AI |
| CS-420 | Advanced compiler construction | Schinz | 6 | yes | spring | SY |
| CS-421 | Machine learning for behavioral data | — | 6 | no | spring | AI |
| CS- 459 | Foundations of probabilistic proofs | Chiesa | 6 | yes | fall | TH |
| CS-460 | Systems for data management and data science | Ailamaki, Kermarrec | 8 | yes | spring | SY |
| CS-423 | Distributed information systems | Aberer | 6 | yes | fall | SY |
| CS-430 | Intelligent agents | Faltings | 6 | yes | fall | AI |
| CS-431 | Introduction to natural language processing | Chappelier, Rajman, Bosselut | 6 | yes | fall | AI |
| CS-433 | Machine learning | Jaggi, Flammarion | 8 | yes | fall | AI |
| CS-438 | Decentralized systems engineering | Borso’ | 8 | yes | fall | SY |
| CS-439 | Optimization for machine learning | Jaggi, Flammarion | 8 | yes | spring | AI |
| CS-440 | Advanced computer graphics | Jakob | 6 | yes | spring | AI // SY |
| CS-442 | Computer vision | Fua | 6 | yes | spring | AI |
| CS-444 | Virtual reality | Boulic | 6 | yes | spring | AI |
| CS-448 | Sublinear algorithms for big data analysis | — | 6 | no | spring | TH |
| CS-450 | Algorithms II | Svensson | 8 | yes | fall | AI // TH |
| CS-451 | Distributed algorithms | Guerraoui | 8 | yes | fall | TH |
| CS-452 | Foundations of software | Doereane | 6 | yes | fall | TH |
| CS-453 | Concurrent computing | Guerraoui | 6 | yes | fall | TH |
| CS-455 | Topics in theoretical computer science | — | 6 | no | fall | TH |
| CS-456 | Artificial neural networks | Gerstner | 6 | yes | spring | AI |
| CS-457 | Geometric computing | Pauly | 6 | yes | fall | AI//SY//TH |
| CS-458 | The GC Maker Project | — | 6 | no | spring | |
| CS-470 | Advanced computer architecture | Ienne | 8 | yes | spring | SY |
| CS-471 | Advanced multiprocessor architecture | Falsafi | 6 | yes | fall | SY |
| CS-472 | Design technologies for integrated systems | De Micheli | 6 | yes | fall | SY |
| CS-473 | System programming for Systems-on-chip | Kluter | 6 | yes | fall | SY |
| CS-476 | Embedded system design | Kluter | 6 | yes | spring | SY |
| CS-486 | Interaction Design | Pu Faltings | 6 | yes | spring | AI |
| CS-489 | Experience design | Huang | 6 | yes | fall | AI |
| CS-491 | Introduction to IT consulting | Regev | 6 | yes | fall | SY |
| CS-500 | AI Product Management | Kaboli, Zamir | 6 | yes | fall | AI |
| CS-503 | Visual Intelligence: machine and minds | Zamir | 6 | yes | spring | AI |
| CS-522 | Principles of computer systems | Argyraki, Candea | 8 | yes | fall | SY |
| CS-523 | Advanced topics on privacy enhancing technologies | Troncoso | 8 | yes | spring | SY |
| CS-524 | Computational complexity | Sokolov | 6 | yes | fall | TH |
| CS-526 | Learning theory | Macris | 6 | yes | spring | AI |
| CS-550 | Formal verification | Kuncak | 6 | yes | fall | TH |
| CS-552 | Modern natural language processing | Bosselut | 8 | yes | spring | AI |
| CS-628 | Interactive Theorem Proving CS | Pit-Claudel,
Barrière | 4 | yes | spring | TH |
| EE-451 | Image analysis and pattern recognition | Thiran, J.-P.,
Bozorgtabar | 4 | yes | spring | AI |
| EE-472 | Smart grid technologies | Paolone | 5 | yes | spring | SY |
| EE-512 | Biomedical signal processing | Lemay | 4 | yes | fall | AI |
| EE-556 | Mathematics of data: from theory to computation | Cevher | 6 | yes | fall | AI // TH |
| EE-559 | Deep learning | Cavallaro | 4 | yes | spring | AI |
| EE-566 | Adaptation and learning | Sayed | 4 | yes | spring | TH |
| EE – 608 | Deep Learning For Natural Language Processing | Henderson | 4 | yes | fall | AI |
| EE-612 | Fundamentals in statistical pattern recognition | Anjos, Canévet, Marcel | 4 | no | spring | AI |
| EE-613 | Machine learning for engineers | Calinon, Canevet, Odobez,
Villamizar | 4 | yes | fall | AI |
| EE-724 | Human language technology: applications to information access | Popescu-Belis | 4 | yes | spring | AI |
| EE-733 | Design and Optimization of Internet-of-Things Systems | Aminian, Atienza, Burg | 4 | yes | fall | SY |
| EE- 735 | Online learning in Games | Cevher | 4 | no | spring | AI |
| DH-500 | Computational social media | Gatica-Perez | 4 | yes | spring | AI |
| ENG-466 | Distributed intelligent systems | — | 5 | no | spring | SY |
| MATH-403 | Low-rank approximation techniques | — | 5 | no | fall | TH |
| MATH-412 | Statistical machine learning | Obozinski | 5 | yes | fall | AI; TH |
| MATH-413 | Statistics for data science | Davison | 8 | yes | fall | TH |
| MATH-414 | Stochastic simulation | Nobile F. | 5 | yes | fall | TH |
| MATH-442 | Statistical theory | — | 5 | no | fall | TH |
| MATH-447 | Risk, rare events and extremes | — | 5 | no | spring | TH |
| MATH-453 | Computational linear algebra | Kressner | 5 | yes | spring | TH |
| MATH-454 | Parallel and high-performance computing | Antolin | 4 | yes | fall | SY |
| MATH-483 | Gödel and recursivity | — | 5 | no | fall | TH |
| MATH-486 | Statistical mechanics & Gibbs measures | — | 5 | no | spring | TH |
| MATH-489 | Number theory II.c – Cryptography | Jetchev | 5 | yes | spring | TH |
| MATH-493 | Applied biostatistics | Goldstein | 5 | yes | spring | AI |
| MATH 500 | Error control in scientific modelling | Herbst | 5 | yes | fall | TH |
| MATH -614 | Foundation of causal inference | Stensrud | 4 | no | fall | TH |
| MATH -517 | Statistical computation and visualization | Mhalla Ep | 5 | yes | fall | AI |
| MICRO-455 | Applied machine learning | Billard | 4 | yes | fall | AI |
| MICRO-570 | Advanced machine learning | Billard | 4 | yes | spring | AI |
| PHYS-512 | Statistical physics of computation | Krzakala, Zdeborova | 4 | yes | fall | TH |
| PHYS- 550 | Quantum information theory | Holmes | 4 | yes | spring | TH |
| PHYS-641 | Quantum Computing | Savona | 4 | yes | fall | TH |
| PHYS-642 | Statistical physics for optimization and learning | Krzakala, Loureiro, Saglietti, Zdeborova | 4 | no | spring | AI / TH |
| ME-425 | Model predictive Control | Jones | 4 | yes | fall | TH |
