Pimentel, Elaine

Professor Elaine Pimentel is Associate Professor of Logic and Computation at University College London, specializing in logic, proof theory, and their applications to computational systems. She has published extensively on linear and modal logics, automated reasoning, and proof systems, and is actively involved in international research collaborations and conference leadership. Beyond research, she leads outreach initiatives promoting diversity and gender equality in STEM.