Scholar
Pedro H. Azevedo de Amorim
Google Scholar ID: VpPgDMkAAAAJ
University of Oxford
Citations & Impact
Citations
106
H-index
5
i10-index
3
Publications
13
Co-authors
15
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Multiple papers selected to appear at LICS 2025, PLDI 2025, OOPSLA 2025, and CSL 2025; involved in several preprints and drafts.
Research Experience
- Worked as a Research Associate in Sam Staton's group at the University of Oxford; currently a Lecturer at the University of Bath; served as a Teaching Assistant for multiple courses at Cornell University.
Education
- Ph.D. in Computer Science from Cornell University, advised by Dexter Kozen.
Background
- I am a Lecturer (equiv. Assistant Professor) at the Department of Computer Science of the University of Bath. My research interests lie mainly in formal verification, programming language theory, and their intersection, particularly in applications of Category Theory, Type Theory, Proof Assistants, and Logic to programming languages. Recently, I've been interested in the semantics of probabilistic programming languages and applications of substructural logics to programming languages.
Miscellany
- Email: phaa20@bath.ac.uk; Office: 9.21 Wessex house
