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).
Also added (in progress) lists of publications and participation in program committees.

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