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).
Full Professor DMAT - UFRN Vice-head of the Postgraduate Program PPgMAE, member of PPgSC
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.
Past research projects.
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: motivating girls to do Mathematics and Computer Science.
Matemática: s.f. platform for women in Math.
Invited speaker at: FSCD2021, Logic Colloquium 2021
Co-chair of CSL 2023, TLLA 2021, LFMTP 2021
PC member of: LICS2022, FoSSaCS 2022, PPdP 2021, CALCO 2021, TABLEAUX 2021, WoLLIC 2021, ICTAC 2021
Past conferences & more info.
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: IJCAR 2020, LFMTP 2020, Lógicos em quarentena, Verão UnB (in Portuguese), Live SBM (in Portuguese), IIWMM (in Portuguese).
Curriculum Vitæ: in Portuguese -- in English -- in French -- Short bio.
My Erdös number is 3.
For more info, click here.
elaine dot pimentel at gmail dot com