Simon Wolfsteiner

  • Project Assistant, MSc
  • TU Wien
  • Institute of Discrete Mathematics and Geometry E104
  • Wiedner Hauptstraße 8–10
  • 1040 Wien
  • Austria

  • Room: DA 05 A05
  • Email: simon [dot] wolfsteiner [at]
  • Web: TISS

Research Interests

  • Proof Theory, Formal Language Theory, Automated Deduction

Current Position



  1. D. Cerna, A. Leitsch, G. Reis, S. Wolfsteiner, Ceres in Intuitionistic Logic, in: Annals of Pure and Applied Logic (accepted), 2017.
  2. G. Ebner, S. Hetzl, G. Reis, M. Riener, S. Wolfsteiner, S. Zivota, System Description: GAPT 2.0 [pdf][doi], in: Olivetti N., Tiwari A. (eds) Automated Reasoning. IJCAR 2016. Lecture Notes in Computer Science, vol 9706, pages 293-301. Springer, Cham.