• 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] tuwien.ac.at
• Web: TISS

---

Research Interests

• Proof Theory, Formal Language Theory, Automated Deduction

---

Current Position

• I am a PhD student affiliated with the Doctoral College Logical Methods in Computer Science, TU Wien. I started my PhD studies in October 2015 under the supervision of Privatdoz. Dr. Stefan Hetzl. I am also a project assistant in the Computational Logic group.

---

Education

• MSc in Computational Intelligence (TU Wien), master thesis: Structural Analysis of Cut-Elimination, June 2015
• BSc in Media Technology and Design (University of Applied Sciences Upper Austria, Hagenberg Campus)

---

Publications

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.

---