Christian Sternagel

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

I am a postdoctoral researcher in computer science, working in the Computational Logic Group of the Department of Computer Science at the Leopold-Franzens-Universität Innsbruck. Previously I held an Erwin-Schrödinger Fellowship at the Japan Advanced Institute of Science and Technology (北陸先端科学技術大学院大学). I obtained my PhD from the University of Innsbruck.

office hours: Friday 14:15 – 15:45
room: 3M03
phone: +43/512/507-53215
email: (λxy.christianysternagelxuibkyacyat) @ .
PGP key
research interests:
  • interactive theorem proving,
  • verification of (functional) programs,
  • term rewriting (termination and certification of termination proofs)  ttt2  IsaFoR/CeTA
events:

ISR 2017 | ITP 2017

AJSW 2016 (45th TRS Meeting) | UITP 2016 | Dagstuhl Seminar 16031

Dagstuhl Seminar 15381 | Isabelle Tutorial | IWC 2015 | CADE-25

RTA-TLCA 2014 | WST 2014

Dagstuhl Seminar 13411 | 39th TRS Meeting | HART 2013

JAIST Spring School 2012

Valid HTML 4.01 Strict