Elaine Pimentel

Elaine Pimentel is an Associate Professor at the University College London's Department of Computer Science, specializing in Programming Principles, Logic, and Verification. She also serves as Schools Outreach Lead, supporting initiatives like the Afghan Female Student Outreach project. Previously, she held professorships at MAT/UFMG and DMAT/UFRN, and has been actively involved in academic leadership roles, including Treasurer of the Brazilian Logic Society and Editor of the Bulletin of Symbolic Logic. Her research focuses on proof theory, ecumenical systems, concurrency theory, and logical frameworks, with notable contributions to the ECUMENICAL project on proof-theoretic semantics for non-classical logics.

Elaine earned her Ph.D. in Computer Science from UFMG under advisors Dale Miller and Carlos Camarão de Figueiredo. She has held visiting positions at institutions like TU Wien and LIX - École Polytechnique, collaborating on proof theory and λ-calculus. Her work bridges theoretical computer science and philosophy, emphasizing interdisciplinary projects like the MOSAIC and PROSA initiatives.

Elaine has been honored with the Rae Harbird Award and has organized influential events such as the World Logic Day activities and international conferences like STACS and CSL. She is a strong advocate for diversity in STEM, leading projects like POTIMÁTICAS to inspire girls in mathematics and computer science.