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. 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 nineth edition in Birmingham, UK.

Research Interests

My research interests span several areas: category theory, programming languages, type theories, and logic in computer science, in general. Also semantics of Natural Language, logic for semantics and lexical semantics. Then search methods and evaluation, knowledge graphs and ontologies. More fun comes in the shape of linear and modal logic, and applications to mathematics, as well as NLP methods for mathematical text.

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