People / Valeria de Paiva
Principal Research Scientist
About
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 10th year.
Blog posts
| Title | Date |
|---|---|
| Women in Logic: the history so far | 2023-03-06 |
| Preparing for Networked Mathematics | 2023-01-05 |
| Dialectica Categories in Computing | 2022-12-06 |
| Mathematical concepts: how do you recognize them? | 2022-11-16 |
| The many facets of Networked Mathematics | 2022-04-18 |
| Launch of the Women in Logic website | 2022-03-17 |
| Introducing the MathFoldr Project | 2021-07-11 |
No matching items