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.

- 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.
- Verification Logic (with David Fernández-Duque).

J. Log. Comput. 27 (2017), pp. 2451-2469. - Unsound Inferences Make Proofs Shorter (with Matthias Baaz).

To appear in J. Symbolic Logic. - On the Maximization of Menu-Dependent Interval Orders (with Levent Ülkü).

S. Choice Welf. 48 (2017), pp. 357-366. - Strong Completeness of Provability Logic for Ordinal Spaces (with David Fernández-Duque).

J. Symbolic Logic 82 (2017), pp. 608-628.

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

Spring 2018. Ordinal Analysis and Consistency Proofs.