Valeria de Paiva

Valeria's photo


I am a senior Principal Research Scientist at Nuance Communications.
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, an incomplete curriculum vitae and resume (from Sep 2016).
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.

Upcoming Events

A full list of events will be added, as time permits. Here are some.

Contact Information