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 |