Valeria de Paiva

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.

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. 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. Es miembro honoraria de búsqueda en informática en la Universidad de Birmingham. proporcionado por Wikipedia