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:
|
| 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 |
external links:
|
orcid.org/0000-0001-9864-1014