Elaine Pimentel

Passage Vallet, Paris, France! From where I keep some of my happiest memories and where I have very dear friends! (Image from Google Street, showing Carlos Olarte working hard).

Associate Professor

Programming Principles, Logic, and Verification

Department of Computer Science

University College London

Schools Outreach Lead

Department of Computer Science

University College London

I support the Afghan Female Student Outreach project

Former: Professor at MAT/UFMG and DMAT/UFRN

Editor of the Bulletin of Symbolic Logic (BSL)

Chair of the LA committee of the Association for Symbolic Logic and the E. W. Beth Dissertation Prize committee for 2025.

Treasurer of ACM SIGLOG

Steering committees TABLEAUX (chair), LFMTP (chair), EACSL (member), STACS (member), WoLLIC (member)

NEWS!!

I am truly honored to be one of the winners of the Rae Harbird Award. This recognition means a lot to me, especially since Rae was such a dear person.
I have won the UCL CS Engagement Champion Award 2025. This award recognises colleagues who are highly engaged and have created and maintained engagement within their team and may act as a role model for others. Really happy!
Just received the news that my promotion request has been accepted! Yay! From October 2025 I will be a Professor at UCL CS :)
Check it out our Leverhulme-funded project "ECUMENICAL: Proof-theoretic semantics for non-classical and modal logics", led by Elaine Pimentel, David Pym, and Luiz Carlos Pereira at the Department of Computer Science, University College London (UK)!

OLDER NEWS!!

Check out our successful ECUMENICAL kick-off meeting! And the second meeting! And the third one!
BANFF Seminar on Proof Representations: From Theory to Applications co-organised with Anupam Das, Lutz Strassburger and Carlos Areces.
Dagstuhl Seminar on Proof Representations: From Theory to Applications co-organised with Anupam Das, Lutz Strassburger and Carlos Areces.
David Pym's Festschrift celebrating his 60th birthday.

Research Interests

Proof theory, concurrency theory, ecumenical systems, game semantics, logical frameworks, linear logic, modal logics, intersection types, lambda-calculus.
Ongoing research projects: MOSAIC, PROSA and PROGEO.
Ecumenical systems: check it out the 1st Ecumenical meeting @UCL!!!
Proof Theoretic Semantics: check it out the seminar we organized for the WLD2022!!!

Past research projects.

Tutorials

Round Tables

World Congress of Philosophy: Forty years of linear logic: what impact on the philosophy of logic?

Other interests

I am also very much interested in all aspects of Diversity and Inclusiveness. Check it out the message from ASL!
Project POTIMÁTICAS: Meninas Potiguares na Matemática: inspiring young girls to pursue Mathematics and Computer Science.
Matemática: s.f. platform for women in Math.
Lógicas Brasileiras: Brazilian women in logic.
World Logic Day: check it out our initiatives!!

Conferences

Past conferences & more info.

Miscellany

I am very proud to be one of the Ambassadors of Logic at the World Logic Day 2021. Check it out our event: Lógica e Representatividade.
Some videos: My talk on Ecumenical logic at the Women in EuroProof Net, part of TYPES 2025 in Glasgow, June 10, 2025; LMW@CSL22, SEMAT/UFRN 2021 (in Portuguese), IJCAR 2020, LFMTP 2020, Lógicos em quarentena, Verão UnB (in Portuguese), Live SBM (in Portuguese), IIWMM (in Portuguese).
Some slides: Logic Outside the Wall (LMW2025), Inclusive Logic: less talk, more action! (LMW2022)
Curriculum Vitæ, Short bio, Currículo Lattes, DBLP, ORCID.
Academic background.
My genealogy.
My students.
My Erdös number is 3, obtained in the Mathscinet calculator.
For more info, click here.

Contact:

elaine dot pimentel at gmail dot com (general) and e dot pimentel at ucl dot ac dot uk (work)