Valeria de Paiva

Principal Research Scientist

Valeria de Paiva is a mathematician and AI scientist, working on natural language processing, logical inference, and all kinds of semantics, especially Dialectica categories. Before Topos, Valeria worked at top industry NLP labs, including Samsung Research America, Nuance, Deem, Cuil, and for many years at Xerox PARC. Before that she was a professor in the University of Birmingham, UK. She is very keen on making sure that women are not too short-changed in their professional lives. For that she maintains the “Women in Logic” website, Facebook group, and blog, helps the ACM-W Scholarship program, and started the international workshop “Women in Logic”, now in its 7th year.

Blog posts

Picture from aninfinityofhypotheses.wordpress.com

Women in Logic: the history so far
This year we’re having the 7th Women in Logic (WiL) Workshop in Rome, associated with FSCD and CADE. Considering that we never had grants to help us defray costs of the workshop, I think getting to our seventh anniversary is a big milestone. Everyone who works for Women in Logic does it for free…
Valeria de Paiva
2023-03-06

The map of mathematics [Source]

Preparing for Networked Mathematics
Networked mathematics is one of my main projects at the Topos Institute (the other is Dialectica categories and its extended family of formalisms). We have not had much luck getting the funding agencies to pay attention to it, yet. But the work is progressing, albeit slowly. We have been working…
Valeria de Paiva
2023-01-05

The AMS poster for MRCs

Dialectica Categories in Computing
In the first half of the year we had an AMS Mathematical Research Community (MRC) on Applied Category Theory, in Beaver Hollow, NY. An MRC is a bit like a version “on steroids” of the ACT Adjoint School, as there are many more researchers in a research subgroup in the MRC than in a Adjoint School…
Valeria de Paiva
2022-12-06

Mathematical concepts: how do you recognize them?
Humans are very good at recognizing the words they do not know, the concepts they haven’t met yet. To help with these they invented dictionaries, glossaries, encyclopedias, wikipedias, crib sheets, etc. Initially, they did it via laborious manual work, more recently through automated…
Valeria de Paiva, Jacob Collard
2022-11-16

The many facets of Networked Mathematics
Last year we started a discussion on the production of mathematics, the pre-industrial kind of process that we all still follow of solving problems and taking the solutions to the market of ideas (conferences, seminars, blog posts, twitter, coffee breaks in the department, etc.) as…
Valeria de Paiva
2022-04-18

Launch of the Women in Logic website
World Logic Day is an international day proclaimed by UNESCO in association with the International Council for Philosophy and Human Sciences (CIPSH) in 2019. The idea is to celebrate it on the 14th of January every year. This year we decided to celebrate Logic Day by launching the Women in Logic…
Valeria de Paiva
2022-03-17

A telegram tape

Introducing the MathFoldr Project
At Topos we believe knowledge empowers people, and that our community’s expertise should be available to all who seek it out. But simple availability is not enough. True access is more than an open door: it’s clear, legible street signs, elevators, and gently sloping on-ramps. And with modern AI…
Brendan Fong, Valeria de Paiva
2021-07-11
No matching items