Valeria de Paiva

De Wikipedia
Saltar a navegación Saltar a la gueta
Valeria de Paiva
fellow Traducir

Vida
Nacimientu Brasilsieglu XX
Nacionalidá Bandera de Brasil Brasil
Bandera del Reinu Xuníu Reinu Xuníu
Estudios
Estudios Universidá de Cambridge 1988) Philosophiæ doctor : Matemátiques
Direutor/a de tesis Martin Hyland
Alumnu/a de Martin Hyland
Oficiu
Oficiu matemática, lóxica y informática teórica
Emplegadores Samsung Electronics
Xerox PARC Traducir  (2000 -  2008)
Nuance Communications Traducir  (2012 -  2018)
github.com/vcvpaiva
Cambiar los datos en Wikidata

Valeria Correa Vaz de Paiva ye una matemática brasilana, lóxica, y científica informática acomuñada con comunicaciones de matiz. El so trabayu inclúi busca n'aproximamientos lóxicos a computación, especialmente utilizando Teoría de categoríes, [[representación de la conocencia]] y llingua natural semántica, y programación funcional con un focu en fundaciones y teoríes de tipu.[1][2]

Ganó una llicenciatura en matemática en 1982, la maestría en 1984 (n'álxebra pura) y completó un doctoráu pola Universidá de Cambridge en 1988, so la supervisión de Martin Hyland.[1][3] La so tesis introdució Dialectica d'espacios, una manera Teoría de categoríes categórica de construyir modelos de lóxica llinial.

Trabayó nueve años en PARC en Palu Altu, California, y tamién trabayó en Rearden Commerce y Cuill antes de xunise a Nuance.[2][4] Ye miembru honoraria de busca n'informática na Universidá de Birmingham.[4]

Delles publicaciones[editar | editar la fonte]

  • Term Assignment for Intuitionistic Linear Logic (con Benton, Bierman and Hyland). Technical Report 262, University of Cambridge Computer Laboratory. Agostu de 1992.
  • Lliniales (con J.M.Y. Hyland) In "O que nos cara 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 Proc. of Category Theory and Computer Science, Manchester, RU, setiembre 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)

Referencies[editar | editar la fonte]

  1. 1,0 1,1 Career Profiles (Mathematical Association of America), http://www.maa.org/careers/career-profiles/academia-teaching/valeria-de-paiva, consultáu 'l 24 de xunetu de 2015 
  2. 2,0 2,1 Mathematics Awareness Month (Joint Policy Board for Mathematics), April 2015, http://www.mathaware.org/mam/2015/highlighted/MAM%202015%20profile_dePaiva.pdf, consultáu 'l 24 de xunetu de 2015  Error de cita: La etiqueta <ref> ye inválida; el nome «mam» ta definíu delles vegaes con distintu conteníu
  3. Valeria de Paiva
  4. 4,0 4,1 páxina

Enllaces esternos[editar | editar la fonte]

Valeria de Paiva