University of Innsbruck
Depatment of Computer Sciences
Computational Logic Group

Technikerstraße 21a
6020 Innsbruck


2nd floor ICT building
Room: 2M09

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


+ 43 / 512 / 507 - 53234

assoc. Prof. Dr. René Thiemann


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

  • Lecture and Proseminar Program Verification (SS 21)
  • Lecture and Proseminar Functional Programming (WS 20/21)


Nach oben scrollen