Photo of me

I am a Ph.D. student of UT Vienna and wrote my master's thesis at the Theory and Logic Group. This page hosts an online version of it. At the moment I'm contributing to the GAPT theorem proving framework hosted at github in the context of the CERES project.

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