Scholar
Valeria de Paiva
Google Scholar ID: AYdo1hMAAAAJ
Topos Institute, University of Birmingham
Citations & Impact
Citations
1,938
H-index
19
i10-index
36
Publications
20
Co-authors
137
list available
Publications
Resume (English only)
Academic Achievements
- Earned the unofficial title of 'Ambassador of Logic'
- Active research in category theory, type theory, programming languages, linear and modal logics, and their applications to lexical semantics
- Recent focus on NLP for mathematical text, building tools to extract, structure, and reason about mathematical knowledge
- Plenary or invited speaker at major conferences including Strange Loop, EBTC, CALCO/MFPS, and MFPS
- Maintains the blog 'Logic ForAll' and has a Wikipedia page
Research Experience
- Research scientist at the Topos Institute
- Served on the council of the Division of Logic, Methodology and Philosophy of Science and Technology (DLMPST) from 2020–2023
- Co-chair or organizer of multiple international conferences, including CICM 2025, MFPS 2024, and CALCO/MFPS 2023
- Mentored 12 PhDs and postdocs at the AMS Applied Category Theory MRC 2022
- Organized several Encontro Brasileiro de Teoria de Categorias (EBTC) events
- Co-organized the 2024 Hausdorff Institute Trimester Program 'Prospects of Formal Mathematics' in Bonn
