Peter Hoefner -

Registered user since Sun 7 Dec 2025

Name:Peter Hoefner

Country:Australia

Affiliation:Australian National University

Personal website: http://www.hoefner-online.de

GitHub: https://github.com/hoefner

Contributions

2026

FM

Committee Member in Industry Day Program Committee within the Industry Day-track

2024

POPL

Author of Shoggoth - A Formal Foundation for Strategic Rewriting within the POPL-track