
University of Innsbruck
Depatment of Computer Sciences
Computational Logic Group
Technikerstraße 21a
6020 Innsbruck
Austria
Office:
2nd 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.
- Lecture and Proseminar Program Verification (SS 21)
- Lecture and Proseminar Functional Programming (WS 20/21)