Scholar
Elaine Pimentel
Google Scholar ID: -a8uTt8AAAAJ
University College London
Citations & Impact
Citations
461
H-index
13
i10-index
17
Publications
20
Co-authors
9
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Recipient of the Rae Harbird Award.
- Awarded the UCL CS Engagement Champion Award 2025.
- Promotion to Professor at UCL CS effective October 2025.
- Editor of the Bulletin of Symbolic Logic (BSL).
- Chair of the Latin American Committee of the Association for Symbolic Logic (ASL) and Chair of the E. W. Beth Dissertation Prize Committee for 2025.
- Treasurer of ACM SIGLOG.
- Serves on steering committees of major conferences: TABLEAUX (chair), LFMTP (chair), EACSL, STACS, WoLLIC.
- Frequent invited speaker at international conferences including CSL 2025, PLEXUS 2023, FSCD 2021, Logic Colloquium 2021, etc.
Background
- Research interests include: proof theory, concurrency theory, ecumenical systems, game semantics, logical frameworks, linear logic, modal logics, intersection types, and lambda-calculus.
- Currently Associate Professor in Programming Principles, Logic, and Verification at the Department of Computer Science, University College London (UCL).
- Serves as Schools Outreach Lead for the Department of Computer Science at UCL.
- Former Professor at MAT/UFMG and DMAT/UFRN in Brazil.
- Actively engaged in diversity and inclusiveness initiatives; supports the Afghan Female Student Outreach project.
