Valeria de Paiva

Welcome!

I am a Mathematician and AI Research Scientist, interested in NLP, logical 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 resume for me. Also the link to my Wikipedia page and my blog Logic ForAll.

I was very honoured to be asked to be a council member of the DIVISION OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY 2020-2023. They asked me to record a 2 min video about logic. This meant that I could call myself an Ambassador of Logic. You also can see some of the recorded talks I have given recently.

I am very keen on making sure that women are not short-changed in their professional lives. For that I help maintain the Women in Logic website, a facebook group Women in Logic, a blog Women in Logic and now a website of curated Women in Logic talks. I am in the Steering Committtee of Women in Logic. I also help with the ACM-W Scholarship program ACM-W Scholarship program. Most importantly I initiated and help to organize the Workshop Women in Logic, now in its seventh edition. Check a collection of women logicians at this spreadsheet and our data collection effort on Invited speakers in theoretical computer science here.

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 of the things I have been working on.

Contact Information

Websites