Vienna University of Technology,

Institute of Discrete Mathematics and Geometry,

Wiedner Hauptstrasse 8–10,

1040 Vienna, Austria.

Email: surname at logic.at

Research Interests: mathematical logic, set theory, proof theory.

- Long Borel Games.
- Shortening Clopen Games.
- Determined Admissible Sets.
- The Consistency Strength of Long Projective Determinacy (with Sandra Müller).
- Long Games and sigma-Projective Sets (with Sandra Müller and Philipp Schlicht).
- Sigma-Projective Determinacy.

- Determinate Logic and the Axiom of Choice.
- Unsound Inferences Make Proofs Shorter (with Matthias Baaz). To appear in J. Symbolic Logic.

- Verification Logic (with David Fernández-Duque). J. Log. Comput. 27 (2017), pp. 2451-2469.
- Strong Completeness of Provability Logic for Ordinal Spaces (with David Fernández-Duque). J. Symbolic Logic 82 (2017), pp. 608-628.

- On Uniform Indiscernibles and the Nonstationary Ideal.
- On the Maximization of Menu-Dependent Interval Orders (with Levent Ülkü). S. Choice Welf. 48 (2017), pp. 357-366.

Fall 2018. Seminar in Mathematical Logic (co-organized with Jan Bydžovský)

Spring 2018. Ordinal Analysis and Consistency Proofs.