Valeria de Paiva

Valeria's photo


I am a Mathematician and AI Research Scientist, interested in NLP and Inference and all kinds of semantics. I work at the Topos Institute, Berkeley, a very exciting place.
Once upon a time I finished my Ph.D. under the direction of Martin Hyland, and my thesis can be found here.
On this page you can find my research interests, my contact information, a curriculum vitae and a resume for me.
My Wikipedia page is Valeria de Paiva.
I am very keen on making sure that women are not short-changed in their professional lives.
For that I maintain a facebook group Women in Logic, a blog Women in Logic, help with the ACM-W Scholarship program ACM-W Scholarship program and initiated and help to organize the Workshop Women in Logic.
Check a collection of women logicians at this
spreadsheet and our data collection effort on Invited speakers in this one.

Research Interests

My research interests span several areas. To begin with category theory, programming languages, type theories, and logic in computer science, in general. Then semantics of Natural Language, logic for semantics and lexical semantics. Then search methods and measurements, knowledge graphs and commonsense ontologies. More fun comes in the shape of linear and modal logic, and applications to mathematics.

Some Events

A full list of events will be added, as time permits. Here are some. Well, like everyone else's the Coronavirus Pandemic changed my plans. But I should still list some of the things that I have been working on.
Applied Category Theory Conference ACT 2021. 12-16 July 2021. website: Applied Category Theory Adjoint School ACT 2020. 29 June--July 3 2020, MIT, Cambridge, MA. website: Women in Logic 2020. Workshop, FSCD 2020, 30 June 2020, Paris, France. website: Linearity and TLLA 2020. Workshop, FSCD 2020, 30 June 2020, Paris, France. website: Special Session on Proof Theory, ASL (Association for Symbolic Logic), UC Irvine, March 2020 (organizer with Elaine Pimentel and Reuben Rowe). website: Encontro Brasileiro de Mulheres Matematicas, 27-28 July, 2019, IMPA, Rio de Janeiro, Brasil. workshop website: First Joint Meeting Brazil-France in Mathematics, 15-19 July, 2019, Rio de Janeiro, Brazil. website: 6th Natural Language and Computer Science (NLCS2019) workshop at IWCS 2019, 24 May, 2019, Gothenburg, Sweden. workshop website: Proof-Theoretic Semantics, 27-30 March 2019,Tuebingen, Germany. website: SYSMICS 2019.21-25 January 2019, Amsterdam, The Netherlands. Invited Speaker website: Luxembourg Logic for AI Summit.17-26 September 2018,\ Luxembourg. website: Meaningful Work: Advancing Computational Semantics, 28-31 May 2018, near Oslo, Norway. website: INTERNATIONAL UNION OF HISTORY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY,10–11 August 2018, Niteroi, Brazil. Invited Speaker, 5th Natural Language and Computer Science (NLCS2018) workshop at FLoC 2018(Federated Logic Conference, 6—19 of July, 2018, Oxford, UK. workshop Women in Logic 2019. Workshop, LiCS 2019, 23 June 2019,Vancouver, Canada. website: Women in Logic 2018. Workshop, FLoC 2018, 8 July 2018, Oxford, UK. website: Women in Logic 2017. Workshop, LiCS 2017, 19 June 2017, Reykjavik, Iceland. website:

Contact Information