- Project Assistant, MSc
- TU Wien
- Institute of Computer Languages, Theory and Logic Group (E185/2)
- Favoritenstraße 9–11
- 1040 Wien
- Austria
- Email: timo [at] logic.at
Research Interests
- Proof Theory and Game Semantics for Nonclassical Logics. Also Set Theory and Philosophy of Mathematics.
Current Position
- Since September 2016, I am a PhD student under the supervision of Chris Fermüller.
Education
- MSc in Mathematics (Universität Wien), with a focus on logic (in particular set theory). My master's thesis Old and new results on ordinal-definability was supervised by Sy-David Friedman.
- BSc in Mathematics (Ludwig-Maximilians-Universität München)
Publications
- Chris Fermüller and Timo Lang: Interpreting Sequent Calculi as Client-Server Games, in proceedings of TABLEAUX 2017
- Timo Lang, Carlos Olarte, Elaine Pimentel and Chris Fermüller: A Game Model for Proofs with Costs, in proceedings of TABLEAUX 2019 [Best Student Paper Award]
- Agata Ciabattoni, Timo Lang and Revantha Ramanayake: Bounded sequent calculi for non-classical logics via hypersequents, in proceedings of TABLEAUX 2019
- Chris Fermüller, Timo Lang and Alexandra Pavlova: From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic, (to appear) in proceedings of IPMU 2020
- Timo Lang: A Reduction in Violation Logic, (to appear) in proceedings of DEON 2020/21
- A. R. Balasubramanian, Timo Lang and Revantha Ramanayake: Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics, (to appear) in proceedings of LICS2021
- Agata Ciabattoni, Timo Lang and Revantha Ramanayake: Bounded sequent calculi and restricted embeddings: hypersequent logics, (to appear) in Journal of Symbolic Logic.