| 192021 |
Project in Computer Science 1 |
PR |
2027S |
|
| 192022 |
Project in Computer Science 2 |
PR |
2027S |
|
| 192221 |
Advanced Topics in Blockchain Technologies |
VU |
2026W |
|
| 184767 |
Research Seminar LogiCS |
SE |
2026W |
|
| 192220 |
Introduction to Blockchain Technologies |
VU |
2026W |
|
| 192060 |
Seminar for PhD Students |
SE |
2026W |
|
| 192061 |
Bachelor Thesis |
PR |
2026W |
|
| 192080 |
Crypto Asset Analytics |
VU |
2026S |
|
| 192059 |
Formal Methods for Security and Privacy |
VU |
2026S |
|
| 184766 |
Introduction to Logical Methods in Computer Science |
VO |
2026S |
|
| 192019 |
Introduction to Security |
VU |
2026S |
|
