Valeria de Paiva

Valeria's photo


I am a Mathematician and AI Research Scientist, interested in NLP and Inference and all kinds of semantics.
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, contact information, a curriculum vitae and resume.
I work at Samsung Research America, in Mountain View, California. My Wikipedia page is Valeria de Paiva.
I am very keen on making sure that women are not short-changed in their professional lives.
I maintain a facebook group Women in Logic and a blog Women in Logic.
Check a collection of women logicians at this spreadsheet.

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.
Encontro Brasileiro de Mulheres Matematicas, 27-28 July, 2019, IMPA, Rio de Janeiro, Brasil. workshop website: 6th Natural Language and Computer Science (NLCS2019) workshop at IWCS 2019, 24 May, 2019, Gothenburg, Sweden. workshop website: Women in Logic 2019. Workshop, LiCS 2019, 23 June 2019,Vancouver, Canada. website: First Joint Meeting Brazil-France in Mathematics, 15-19 July, 2019, Rio de Janeiro, Brazil. website:\ joint-meeting-brazil-france-in-mathematics/ 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 2018. Workshop, FLoC 2018, 8 July 2018, Oxford, UK. website: Women in Logic. Workshop, LiCS 2017, 19 June 2017, Reykjavik, Iceland. website:

Contact Information