PC member
ICFEM 2025, ATVA 2024, GandALF 2024, ATVA 2023
External reviewer
Journals:
Logical Methods in Computer Science, Theoretical Computer Science
Conferences:
LICS, ICALP, CAV, TACAS, CONCUR, STACS, MFCS, ATVA, VMCAI, CSL, KI, ...
Funding agencies:
Leverhulme Trust
I am always happy to get in touch. Just send me an email to
jakob.piribauer[at]tu-dresden.de
Visiting addresses:
Nöthnitzer Str. 46, Room 3009
01069 Dresden, Germany
Postal address:
Fakultät Informatik, TU Dresden
01062 Dresden, Germany