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

office hours: by arrangement
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:

Isabelle Tutorial | IWC 2015 | CADE-25

RTA-TLCA 2014 | WST 2014

39th TRS Meeting | HART 2013