Martin Riener

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 google code in the context of the CERES project.

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

Publications

2013

2012

Thesis

Talks

Posters

Valid HTML 4.01 Strict