Hi! This website is still under construction.
Silvan Horvath
silvan.horvath@inf.ethz.ch
Department of Computer Science
ETH Zürich
Universitätsstrasse 6
8092 Zürich
Switzerland
Publications
Articles- There May Be a Unique Q-Point. With Lorenz Halbeisen and Saharon Shelah. Preprint. 2025.
- 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
- Theoretical Computer Science, Autumn 2023
- 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