- Project Assistant, MSc
- TU Wien
- Institute of Computer Languages, Theory and Logic Group (E185/2)
- Favoritenstraße 9–11
- 1040 Wien
- Email: timo [at] logic.at
- Proof Theory and Game Semantics for Nonclassical Logics. Also Set Theory and Philosophy of Mathematics.
- Since September 2016, I am a PhD student under the supervision of Chris Fermüller.