Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pedro H. Azevedo de Amorim
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
PLDI 2025 profile
POPL 2026 profile
Registered user since Wed 10 Sep 2025
Name:
Pedro H. Azevedo de Amorim
Country:
United Kingdom
Affiliation:
University of Oxford
Contributions
2026
LAFI
Committee Member in Program Committee within the LAFI 2026-track
2025
HOPE
Author of Substructural Weakest Preconditions in Fibrations within the HOPE 2025-track
PLDI
Author of Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus within the PLDI Research Papers-track
Share
x
Sat 25 Oct 13:35