- Project Assistant, MSc
- Research Unit Computational Logic
- Institute of Discrete Mathematics and Geometry
- TU Wien
- Wiedner Hauptstraße 8–10, green tower, 5th floor, 1040 Wien
- Room number: DA 05 A05
- Email: sebastian.zivota@tuwien.ac.at
Supervisor: Stefan Hetzl
Research Interests:
- Proof theory, inductive theorem proving
- I contribute to the gapt system.
CV:
- Master's degree in Mathematics at Vienna University of Technology—2014