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
PLDI 2027 profile
POPL 2026 profile
POPL 2027 profile
Registered user since Wed 10 Sep 2025
Name:
Pedro H.
Azevedo de Amorim
Country:
United Kingdom
Affiliation:
University of Bath
Contributions
2027
PLDI
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
POPL
Committee Member in Selection Committee within the Student Research Competition-track
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
Sun 18 Oct 20:01