Computational Logic Research Group
Institute of Computer Science
University of Innsbruck
Austria

office hours: Tuesday 16:15 – 17:45
room: 3M03
phone: +43/512/507-53215
email: (λxy.christianysternagelxuibkyacyat) @ .
research interests:
  • interactive theorem proving,
  • verification of (functional) programs,
  • term rewriting (termination and certification of termination proofs)  ttt2  IsaFoR/CeTA
events: CADE 2015 | RTA-TLCA 2014 | WST 2014 | 39th TRS Meeting | HART 2013