Valeria de Paiva

Valeria de Paiva
Información personal
Nombre en portugués	Valeria Correa Vaz de Paiva
Nacimiento	13 de junio de 1959 (65 años); Río de Janeiro (Brasil)
Nacionalidad	Brasileña
Educación
Educada en	Pontificia Universidad Católica de Río de Janeiro (M.S. en Matemáticas; hasta 1984); Universidad de Cambridge (Ph.D. en Matemáticas; hasta 1990) ;
Supervisor doctoral	Martin Hyland
Información profesional
Ocupación	Matemática, lógica e informática teórica
Área	Teoría de categorías, representación del conocimiento, programación funcional, lógica lineal y ciencias de la computación
Empleador	Samsung Electronics; Xerox PARC (2000-2008); Nuance Communications (2012-2018) ;
Sitio web	github.com/vcvpaiva
	[editar datos en Wikidata]

Valeria Correa Vaz de Paiva es una matemática brasileña, lógica, y científica informática asociada con comunicaciones de matiz. Su trabajo incluye búsqueda en aproximaciones lógicas a computación, especialmente utilizando Teoría de categorías, representación del conocimiento y lengua natural semántica, y programación funcional con un foco en fundaciones y teorías de tipo.^[1]^[2]

Ganó una licenciatura en matemática en 1982, la maestría en 1984 (en álgebra pura) y completó un doctorado por la Universidad de Cambridge en 1988, bajo la supervisión de Martin Hyland.^[1]^[3] Su tesis introdujo Dialectica de espacios, una manera categórica de construir modelos de lógica lineal.

Trabajó nueve años en PARC en Palo Alto, California, y también trabajó en Rearden Commerce y Cuill antes de unirse a Nuance.^[2]^[4] Es miembro honoraria de búsqueda en informática en la Universidad de Birmingham.^[4]

Algunas publicaciones

Term Assignment for Intuitionistic Linear Logic (con Benton, Bierman and Hyland). Technical Report 262, University of Cambridge Computer Laboratory. Agosto de 1992.

Lineales (con 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 Río de Janeiro, abril de 1991.

A Dialectica-like Model of Linear Logic. In Proc. of Category Theory and Computer Science, Manchester, RU, septiembre de 1989. Springer-Verlag LNCS 389 (eds. D. Pitt, D. Rydeheard, P. Dybjer, A. Pitts, A. Poigne).

The Dialectica Categories. In Proc. of Categories in Computer Science and Logic, Boulder, CO, 1987. Contemporary Mathematics 92, Am. Mathematical Society, 1989 (eds. J. Gray & A. Scedrov)