|
|
on Sunday, 28 September, 2025.
A brief In Memoriam was published by CWI Amsterdam where Jan Willem worked for a long time, and continued to have a long association to, ultimately as CWI Fellow (2005).
on Derivability and Admissibility of Inference Rules in Abstract Hilbert Systems at CSL'03/8th KGC, Vienna, August 25—30, 2003.
),
August 1, 2022, Technion, Haifa, Israel,
associated with the conference FSCD 2022,
in the pre-FLoC workshop block of
the Federated Logic Conference 2022 (FLoC 2022).
,
arXiv:2303.14219).
| 2024 | Temporary assistant professor (RTDa) at the Department of Computer Science,
Gran Sasso Science Institute, L'Aquila, Italy |
| 2018 — 2024 | Postdoc at the Department of Computer Science,
Gran Sasso Science Institute, L'Aquila, Italy |
| 2015 — 2018 | Postdoc at the Department of Computer Science (theoretical computer
science group),
Vrije
Universiteit Amsterdam, Amsterdam, The Netherlands |
| 2017 | University Teaching Qualification (Basiskwalificatie
Onderwijs)
from Vrije Universiteit Amsterdam, Amsterdam, the Netherlands |
| 2013 — 2015 | Postdoc at the Department of Computer Science (theoretical
computer science group), Vrije
Universiteit Amsterdam working at the NWO project Syntactic Degrees |
| 2013 | Lecturer at the Department of Philosophy of Utrecht University,
Utrecht, the Netherlands for the lecture Models of Computation |
| 2009 — 2012 | Temporary assistant professor at the Department of Philosophy
(theoretical philosophy group), University Utrecht working at the NWO project Realising Optimal Sharing |
| 2007 — 2009 | Temporary assistant professor at the
Department of Philosophy (theoretical philosophy group), University Utrecht working at the NWO BRICKS project Infinity |
| 2004 — 2007 | Postdoc at the Department of Computer Science, Vrije Universiteit Amsterdam working at the NWO project GeoProc (Geometry of Processes) |
| 2005 | PhD in computer science from the Vrije Universiteit Amsterdam thesis (in interpretational proof theory): Relating Proof Systems for Recursive Types (pdf) |
| 2000 — 2004 | AIO at the theoretical computer science group of the
Department of Computer Science of Vrije Universiteit Amsterdam |
| 1999 | MSc in Logic from the Unversity of Amsterdam (ILLC),
Amsterdam, the Netherlands thesis (in proof theory): Cut-Elimination in the Implicative Fragment of a G3mi-Gentzen-system and its Computational Content (pdf) |
| 1997 | Dipl. Ing. Technische Mathematik from the Johannes Kepler
Universität Linz, Linz, Austria thesis (in logic and computational complexity): Die Entscheidungskomplexität logischer Theoreme - eine Studie anhand der Presburger Arithmetik (pdf) |
Parte
zur Verabschiedung meiner Mutter Herta Grabmayer am Urnenhain Linz—Urfahr, 18. August 2026.
Farewell Notice for the Farewell of my mother Herta Grabmayer at Urnenhain Linz—Urfahr on August 18, 2026.
Ein Lichtbildervortrag zur Verabschiedung meines Vaters Erwin Grabmayer am Urnenhain Linz Urfahr, 27. Februar 2024 (siehe auch Parte, Andenken, Webseite Dobretsberger).
A slide talk for the farewell of my father Erwin Grabmayer at Urnenhain Linz Urfahr, Februar 27, 2024 (see also Farewell Notice, Keepsake Memory, website Dobretsberger).
