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

Structural Proof Theory, Modal Logics, Non-classical Logics, Tense Logics, Deontic Logics, Effective Translations between Calculi

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. Tim Lyon, Christian Ittner, Timo Eckhardt, Norbert Gratzl. The Basics of Display Calculi. Kriterion: Journal of Philosophy, 31(2):55-100, 2017.
  2. Agata Ciabattoni, Tim Lyon, Revantha Ramanayake. From Display to Labelled Proofs for Tense Logics. In Logical Foundations of Computer Science, Lecture Notes in Computer Science (LNCS), pages 120-139, Cham, 2018. Springer International Publishing.