Photo of me

I am a Ph.D. student of UT Vienna and wrote both my master's and Ph.D. thesis at the Theory and Logic Group. This page hosts their online versions and the papers I co-authored. While I'm still contributing to the GAPT theorem proving framework hosted at github in the context of the CERES project, I spent the last years working with the temporal logic TLA+. I have been reimplementing the proof manager of TLAPS, the TLA proof system.

If you are interested in hard problems for automated higher-order provers, you can find a collection here.

Feel free to contact me under riener [at] logic [dot] at.

Publications

2016

2014

2013

2012

Thesis

Talks

Posters