Hi! This website is still under construction. If you are looking for the handwritten notes of my theoretical computer science exercise classes (Autumn 2024), you'll find them below.
Silvan Horvath
silvan.horvath@inf.ethz.ch
Department of Computer Science
ETH Zürich
Universitätsstrasse 6
8092 Zürich
Switzerland
Publications
Articles- Generalized Tower Spectra. With Vera Fischer. In The Journal of Symbolic Logic. 2025.
- Priority Algorithms with Advice for Disjoint Path Allocation Problems. With Hans-Joachim Böckenhauer and Fabian Frei. In Theoretical Computer Science. 2024.
- Global Tower Spectra and Other Generalized Cardinal Characteristics. Supervised by Vera Fischer and Lorenz Halbeisen, 2024.
Teaching
Theoretical Computer Science, Autumn 2024
- 26.09.24: Die grösste natürliche Zahl, die auf dieser Karte beschreibbar ist
- Notes 03.10.24
- Notes 10.10.24
- Myhill-Nerode
- Notes 17.10.24
- Notes 31.10.24 (Solution Ex. 13(b))
- Notes 31.10.24 (Robin's slides)
- Notes 14.11.24
- Notes 21.11.24
- Notes 28.11.24
- Notes 05.12.24
- Worked Example MonoSAT
- Abschlusskahoot
Introduction to Programming and Problem Solving, Spring 2023
Theoretical Computer Science, Autumn 2022
Analysis II, Spring 2022
Foundations of Computer Science for Human Medicine, Autumn 2021