Martin Riener

Photo of me

I am a researcher at The University of Manchester working on the Vampire automated theorem prover. My research interests are:

Feel free to contact me under martin [at] derivation [dot] org or riener [at] logic [dot] at.