About
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.
Find Martin Riener elsewhere
Related Searches
You Might Also Like
- SStefan HetzlVienna University of Technology · Associate Professor
- AAdrian Rebola PardoVienna University of Technology · Researcher
Anela LolicVienna University of Technology · Researcher
Laura KovácsVienna University of Technology · Professor
Matthias BaazVienna University of Technology · Associate Professor- SStella Lara MahlerVienna University of Technology · Researcher