Ir al contenido

Valeria de Paiva

De Wikipedia, la enciclopedia libre
Esta es una versión antigua de esta página, editada a las 15:03 10 ago 2020 por Copydays (discusión · contribs.). La dirección URL es un enlace permanente a esta versión, que puede ser diferente de la versión actual.
Valeria de Paiva
Información personal
Nombre en portugués Valeria Correa Vaz de Paiva Ver y modificar los datos en Wikidata
Nacimiento 13 de junio de 1959 Ver y modificar los datos en Wikidata (65 años)
Río de Janeiro (Brasil) Ver y modificar los datos en Wikidata
Nacionalidad Brasileña
Educación
Educada en
Supervisor doctoral Martin Hyland Ver y modificar los datos en Wikidata
Información profesional
Ocupación Matemática, lógica e informática teórica Ver y modificar los datos en Wikidata
Área Teoría de categorías, representación del conocimiento, programación funcional, lógica lineal y ciencias de la computación Ver y modificar los datos en Wikidata
Empleador
Sitio web github.com/vcvpaiva Ver y modificar los datos en Wikidata
[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 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)

Referencias

  1. ↑ a b «Valeria de Paiva», Career Profiles (Mathematical Association of America), consultado el 24 de julio de 2015 .
  2. ↑ a b «Profile: Valeria de Paiva», Mathematics Awareness Month (Joint Policy Board for Mathematics), abril de 2015, consultado el 24 de julio de 2015 .
  3. ↑ Valeria de Paiva
  4. ↑ a b página

Enlaces externos

Obtenido de «https://es.wikipedia.org/w/index.php?title=Valeria_de_Paiva&oldid=128382701»