Valeria de Paiva

Valeria de Paiva
Fields	Mathematics
Institutions	Nuance Communications
Alma mater	University of Cambridge
Doctoral advisor	Martin Hyland
Doctoral students	Gavin Bierman

Valeria Correa Vaz de Paiva is a Brazilian mathematician, logician, and computer scientist associated with Nuance Communications. Her work includes research on logical approaches to computation, especially using category theory, knowledge representation and natural language semantics, and functional programming with a focus on foundations and type theories.

De Paiva earned a bachelor's degree in mathematics in 1982, a master's degree in 1984 (on pure Algebra) and completed a doctorate from the University of Cambridge in 1988, under the supervision of Martin Hyland. Her thesis introduced Dialectica spaces, a categorical way of constructing models of linear logic. She worked for nine years at PARC in Palo Alto, California, and also worked at Rearden Commerce and Cuill before joining Nuance. She is an honorary research fellow in computer science at the University of Birmingham.

Selected publications

• Term Assignment for Intuitionistic Linear Logic. (with Benton, Bierman and Hyland). Technical Report 262, University of Cambridge Computer Laboratory. August 1992.
• Lineales. (with J.M.E. Hyland) In "O que nos faz pensar" Special number in Logic of "Cadernos do Dept. de Filosofia da PUC", Pontificial Catholic University of Rio de Janeiro, Abril 1991.
• A Dialectica-like Model of Linear Logic.In Proceedings of Category Theory and Computer Science, Manchester, UK, September 1989. Springer-Verlag LNCS 389 (eds. D. Pitt, D. Rydeheard, P. Dybjer, A. Pitts and A. Poigne).
• The Dialectica Categories. In Proc of Categories in Computer Science and Logic, Boulder, CO, 1987. Contemporary Mathematics, vol 92, American Mathematical Society, 1989 (eds. J. Gray and A. Scedrov)

External links

• Official website
• Google scholar profile