- Project Assistant, MSc
- TU Wien
- Institute of Computer Languages, Theory and Logic Group (E185/2)
- Favoritenstraße 9–11
- 1040 Wien
- Email: robert [at] logic.at
Game semantics and proof theory for classical and non-classical logics.
- I am a Ph.D. student, affiliated with the Doctoral College Logical Methods in Computer Science. My position is within the project From Semantic Games to Analytic Calculi – and Back, funded by FWF.
- MSc in Logic and Computation at TU Vienna. My Master's thesis was on Analysis and Comparison of Constructive Set Theories, supervised by Chris Fermüller.
- BSc in Technical Mathematics at TU Vienna.