Timo Lang

 
  • 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