Martin Riener
Photo of me

I am a senior lecturer at the Technical University of Vienna and member of the Theory and Logic Group. My research interests are:

  • Higher-order Logic
  • Cut-elimination by Resolution
  • Automated Theorem Proving in the Theories of Arrays and Linear Integer Arithmetic
  • First Order Temporal Logic (TLA)

Feel free to contact me per Email.

about me · research · publications · teaching · outreach · software · contact · home