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.