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.

- F_sigma Games and Reflection in L(R).
- 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.