Martin Riener

Martin Riener is a Senior Lecturer at the Department of Theory and Logic, Faculty of Informatics, TU Wien. His research focuses on automated theorem proving, higher-order logic, and formal methods. He contributes to the GAPT framework for proof theory and collaborates on the Vampire theorem prover. He has worked on projects like CERESω cut-elimination and TLAPM for TLA+.

Education: PhD (2017) and MSc (2011) in Computer Science from TU Wien. Research projects include an Austrian Science Fund (FWF) project (2010–2012) on proof-theoretic applications of CERES.

Teaching includes courses on programming fundamentals, digital systems, and formal modeling. He is involved in outreach activities explaining computer science concepts through unplugged activities for diverse age groups.

Software contributions include GAPT, Vampire, and TLAPS. Contactable via three email addresses and ORCID: 0000-0001-8836-7808.