conf.researchr.org / Alejandro Aguirre
Alejandro Aguirre

Registered user since Tue 25 Apr 2023

Name:Alejandro Aguirre
Country:Denmark
Affiliation:Aarhus University
Personal website:https://cs.au.dk/~alejandro/

Contributions

POPL 2024 Committee Member in Program Committee within the POPL-track
POPL 2023 Author of Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice within the POPL-track
ICFP 2021 Author of Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics within the Research Papers-track