conf.researchr.org / Andrés Goens

Not registered as user yet

Name:Andrés Goens
Affiliation:the University of Edinburgh

Contributions

CGO 2023 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICFP 2022 United Kingdom in Evaluators within the Artifact Evaluation-track
EGRAPHS 2022 Author of Equality Saturation as a Tactic for Proof Assistants within the EGRAPHS 2022-track