Valeria de Paiva

Valeria de Paiva
Vida
Nacimientu Rio de Janeiro[1], 13 de xunu de 1959 (65 años)
Nacionalidá Bandera de Brasil Brasil
Estudios
Estudios Universidá de Cambridge 1990) Philosophiæ doctor : matemátiques
Pontificia Universidá Católica de Rio de Janeiro 1984) maestría en ciencies : matemátiques
Direutor de tesis Martin Hyland
Direutora de tesis de Gavin Mark Bierman (en) Traducir
Llingües falaes inglés
portugués
Oficiu matemática, lóxica, informática teórica
Emplegadores Samsung Electronics
PARC  (2000 –  2008)
Nuance Communications (es) Traducir  (2012 –  2018)
github.com…
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.[2][3]

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.[2][4] 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 Palo Alto, California, y tamién trabayó en Rearden Commerce y Cuill antes de xunise a Nuance.[3][5] Ye miembru honoraria de busca n'informática na Universidá de Birmingham.[5]

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. ↑ URL de la referencia: https://maa.org/careers/career-profiles/academia-teaching/valeria-de-paiva.
  2. ↑ 2,0 2,1 «Valeria de Paiva», 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 
  3. ↑ 3,0 3,1 «Profile: Valeria de Paiva», 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  Archiváu 2016-03-04 en Wayback Machine
  4. ↑ Valeria de Paiva
  5. ↑ 5,0 5,1 páxina

Enllaces esternos

[editar | editar la fonte]