Not registered as user yet

Name:Jens Oliver Gutsfeld
Affiliation:Westfälische Wilhelm-Universität Münster (WWU), Germany

Contributions

VMCAI 2022 Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI 2022-track
POPL 2021 Author of Automata and Fixpoints for Asynchronous Hyperproperties within the POPL-track