Christian Sternagel
Computational Logic Research Group
Department of Computer Science
University of Innsbruck
Austria
a picture of myself

I left my research position at the University of Innsbruck on September 30, 2019. Before, I was 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.

email: (λxy.cysternagelxgmailycom) @ .
PGP key
research interests:
  • interactive theorem proving,
  • verification of (functional) programs,
  • (conditional) term rewriting (confluence, termination, and certification)  concon  ttt2  IsaFoR/CeTA
events:

FroCoS 2019 | CPP 2019 | UITP 2018

ISR 2017 | ITP 2017 | PART 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

external links:

Valid XHTML 1.0!