University of Innsbruck
Depatment of Computer Sciences
Computational Logic Group
Technikerstraße 21a
6020 Innsbruck
Austria

Office:
2^nd floor ICT building
Room: 2M09

Office hours:
Tuesday 10:00 - 11:00
Online via Webconference

Email:
rene.thiemann@uibk.ac.at
PGP-Key

Phone:
+ 43 / 512 / 507 - 53234

assoc. Prof. Dr. René Thiemann

---

Research

I am an associate professor at the Computational Logic group and project leader of the FWF projects

• Improving Certifiers for Termination Proofs and
  
• Certifying Termination and Complexity Proofs of Programs.
  
  

My fields of interest include but are not limited to:

• Interactive theorem proving (IsaFoR / CeTA, certification problem format, Isabelle, and Archive of Formal Proofs)
  
• Termination analysis (tools AProVE and TTT2, and termination portal)
  
• Term rewriting
• SAT and SMT solving
  
• Algebra, in particular algebraic numbers and related algorithms

 

Upcoming Events

At the moment there are no events scheduled.

Teaching Activities