Timothy Lyon

  • Project Assistant, MA
  • TU Wien
  • Institute of Computer Languages 185
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria

  • Room: HF 04 13
  • Phone: +49 151250-22169
  • Email: lyon [at] logic.at

Research Interests

Proof Theory, Modal Logics, Non-classical Logics, Set Theory, Discrete Mathematics

Current Position

I am a PhD student in the Doctoral College Logical Methods in Computer Science since November 2016; supervisor: Prof. Agata Ciabattoni.


  • MA in Logic and Philosophy of Science (LMU Munich), master thesis: Paradox and the Undefined, September 2016
  • BSc in Computer Science (University of the People)
  • BA in Mathematics (University of California Santa Cruz)
  • BA in Political Science (University of California Santa Cruz)
  • BA in Philosophy (University of California Santa Cruz)


  1. Lyon T, Ittner C, Eckhardt T, Gratzl N, Basic Display Logic [preprint]