Course list
Matching courses
T0 – General
| Code | Course | Lecturer | Sem. | Site |
|---|---|---|---|---|
| 03117 | Fabrication and Prototyping in the LearningLab |
Julien Nembrini |
A2022 | Fribourg |
| 03035 33035 |
Multimodal User Interfaces |
Denis Lalanne |
S2023 | Fribourg |
| 02535 | R&D Workshop |
Jacques Savoy Pascal Felber |
S2023 | Neuchâtel |
| 01533 | Seminar Law and Computer Science |
Mirjam Eggen Christian Cachin Christian Sillaber |
S2023 | Bern |
| 03018 | User Centered Design |
Denis Lalanne |
A2022 | Fribourg |
T1 – Distributed Systems
T2 – Advanced Software Engineering
| Code | Course | Lecturer | Sem. | Site |
|---|---|---|---|---|
| 13000 23000 |
Advanced Software Engineering |
Jacques Pasquier-Rocha |
A2022 | Fribourg |
| 21114 | Compiler Construction |
Timo Kehrer |
S2023 | Bern |
| 22027 62027 |
Concurrency: Multi-core Programming and Data Processing |
Pascal Felber |
S2023 | Neuchâtel |
| 23517 53517 |
Emerging Technologies in Digitalisation |
Hans-Georg Fill |
S2023 | Fribourg |
| 12534 22534 |
Seminar Hot Topics in Operating Systems |
Pascal Felber Baptiste Lepers |
A2022 | Neuchâtel |
| 21530 | Seminar Software Engineering |
Timo Kehrer |
S2023 | Bern |
| 21508 | Seminar Software Engineering |
Timo Kehrer Christos Tsigkanos |
A2022 | Bern |
| 21113 | Software Product Lines |
Timo Kehrer |
A2022 | Bern |
T3 – Advanced Information Processing
T4 – Logic
| Code | Course | Lecturer | Sem. | Site |
|---|---|---|---|---|
| 43024 | Automata on Infinite Structures |
Ulrich Ultes-Nitsche |
A2022 | Fribourg |
| 11106 41106 |
Cryptographic Protocols |
Christian Cachin |
S2023 | Bern |
| 11100 41100 |
Cryptography |
Christian Cachin |
A2022 | Bern |
| 43110 | Foundations and Tools for Processing Semi-structured Data |
Christine Vanoirbeek |
S2023 | Fribourg |
| 41055 | Justification Logic |
Thomas Studer |
A2022 | Bern |
| 11506 41506 |
Seminar Cryptography and Data Security |
Christian Cachin Patrick Liniger |
A2022 | Bern |
| 11524 41524 |
Seminar Cryptography and Data Security |
Christian Cachin |
S2023 | Bern |
| 13510 43510 |
Seminar Foundations of Dependable Systems I |
Ulrich Ultes-Nitsche |
A2022 | Fribourg |
| 13527 43527 |
Seminar Foundations of Dependable Systems II |
Ulrich Ultes-Nitsche |
S2023 | Fribourg |
| 41515 | Seminar Logic and Theoretical Computer Science |
Thomas Studer |
A2022 | Bern |
| 41529 | Seminar Logic and Theoretical Computer Science |
Thomas Studer |
S2023 | Bern |
| 13081 43081 |
Verification of Cyber-physical Systems |
Ulrich Ultes-Nitsche |
S2023 | Fribourg |